Sign-In
Cart
Extensional Constructs in Intensional Type Theory
Paperback
Series: Distinguished Dissertations
FictionGeneral Graphic NovelsProgramming
ISBN13: 9781447112433
Publisher: Springer Nature
Published: Sep 22 2011
Pages: 216
Weight: 0.73
Height: 0.49 Width: 6.14 Depth: 9.21
Language: English
Also in
Fiction
The Boys in the Boat: Nine Americans and Their Epic Quest for Gold at the 1936 Berlin Olympics
Brown, Daniel James
Paperback
The Emerald Mile: The Epic Story of the Fastest Ride in History Through the Heart of the Grand Canyon
Fedarko, Kevin
Paperback
Harvey Penick's Little Red Book: Lessons and Teachings from a Lifetime in Golf
Penick, Harvey
Hardcover
The Horse God Built: The Untold Story of Secretariat, the World's Greatest Racehorse
Scanlan, Lawrence
Paperback
A Big Mess in Texas: The Miraculous, Disastrous 1952 Dallas Texans and the Craziest Untold Story in NFL History
Fleming, David
Hardcover
Making Camp: A Visual History of Camping's Most Essential Items and Activities
Hogue, Martin
Hardcover
Hail to the Redskins: Gibbs, the Diesel, the Hogs, and the Glory Days of D.C.'s Football Dynasty
Lazarus, Adam
Paperback
Shattering the Glass: The Remarkable History of Women's Basketball
Shackelford, Susan
Grundy, Pamela
Paperback
That First Season: How Vince Lombardi Took the Worst Team in the NFL and Set It on the Path to Glory
Eisenberg, John
Paperback
Carlisle vs. Army: Jim Thorpe, Dwight Eisenhower, Pop Warner, and the Forgotten Story of Football'sgreatest Battle
Anderson, Lars
Paperback
Urban Trails: San Francisco: Coastal Bluffs/ The Presidio/ Hilltop Parks & Stairways
Kenin, Alexandra
Paperback
The Boys in the Boat: Nine Americans and Their Epic Quest for Gold at the 1936 Berlin Olympics
Brown, Daniel James
Hardcover
The Lions Finally Roar: The Ford Family, the Detroit Lions, and the Road to Redemption in the NFL
Morris, Bill
Hardcover
The Boys in the Boat: Nine Americans and Their Epic Quest for Gold at the 1936 Berlin Olympics (Large Print Edition)
Brown, Daniel James
Paperback
Battles at Annapolis: Two Remarkable Football Games in the Army-Navy Rivalry
Gendell, David
Paperback
The Club: How the English Premier League Became the Wildest, Richest, Most Disruptive Force in Sports
Robinson, Joshua
Clegg, Jonathan
Paperback
The Emerald Mile: The Epic Story of the Fastest Ride in History Through the Heart of the Grand Canyon
Fedarko, Kevin
Hardcover
Young Woman and the Sea: How Trudy Ederle Conquered the English Channel and Inspired the World
Stout, Glenn
Paperback
To Mock a Mockingbird: And Other Logic Puzzles Including an Amazing Adventure in Combinatory Logic
Smullyan, Raymond M.
Paperback
The Art of Skateboarding: The History of an Urban Culture
Barco, Sylvie
Danjean, Philippe
Madoeuf, Stéphane
Hardcover
So Many Ways to Lose: The Amazin' True Story of the New York Mets--The Best Worst Team in Sports
Gordon, Devin
Hardcover
Football Done Right: Setting the Record Straight on the Coaches, Players, and History of the NFL
Lombardi, Michael
Paperback
Da Bears!: How the 1985 Monsters of the Midway Became the Greatest Team in NFL History
Delsohn, Steve
Paperback
The Boston Globe Story of the Celtics: 1946-Present: The Inside Stories and Acclaimed Reporting on the Nba's Banner Franchise
Finn, Chad
The Boston Globe
Hardcover
Where Did Our Game Go?: Inside College Football's Billion-Dollar Transformation
Douglas, Dean
Douglas, Nick
Hardcover
A Beginner's Guide to the Roots of Yoga: How to Create a More Authentic Practice
Desai, Nikita
Paperback
The Ancient Eight: College Football's Ivy League and the Game They Play Today
Feinstein, John
Hardcover
Fifty Places to Play Golf Before You Die: Golf Experts Share the World's Greatest Destinations
Santella, Chris
Hardcover
Fighting Irish Football: The Notre Dame Tradition in Photographs
Lamb, Charles
Hogan, Elizabeth
Hardcover
The Official History of the Tour de France (2025): Revised and Updated
McGrath, Andy
Edwardes-Evans, Luke
Laget, Serge
Hardcover
The Giant Book of Battleships: Battleship Solitaire: 1000 Puzzles (8x8 - 9x9 -10x10)
Alzamili, Khalid
Paperback
A People's History of Sports in the United States: 250 Years of Politics, Protest, People, and Play
Zirin, Dave
Paperback
Mastering Logical Fallacies: The Definitive Guide to Flawless Rhetoric and Bulletproof Logic
Withey, Michael
Paperback
The End of College Football: On the Human Cost of an All-American Game
Kalman-Lamb, Nathan
Silva, Derek
Paperback
Faster: How a Jewish Driver, an American Heiress, and a Legendary Car Beat Hitler's Best
Bascomb, Neal
Paperback
Ballyhoo!: The Roughhousers, Con Artists, and Wildmen Who Invented Professional Wrestling
Langmead, Jon
Hardcover
The Game That Saved the NHL: The Broad Street Bullies, the Soviet Red Machine, and Super Series '76
Gruver, Ed
Hardcover
The Lions Finally Roar: The Detroit Lions and the Road to Redemption in the NFL
Morris, Bill
Paperback
The Perfect Mile: Three Athletes, One Goal, and Less Than Four Minutes to Achieve It
Bascomb, Neal
Paperback
What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles
Smullyan, Raymond M.
Paperback
The Glory of Their Times: The Story of the Early Days of Baseball Told by the Men Who Played It
Ritter, Lawrence S.
Paperback
The First Tour de France: Sixty Cyclists and Nineteen Days of Daring on the Road to Paris
Cossins, Peter
Hardcover
Soccernomics (2022 World Cup Edition): Why European Men and American Women Win and Billionaire Owners Are Destined to Lose
Kuper, Simon
Szymanski, Stefan
Paperback
If These Walls Could Talk: Pittsburgh Steelers: Stories from the Sideline, Locker Room, and Press Box
Wexell, Jim
Wolfley, Craig
Paperback
Bigger! Better! Badder!: Wrestlemania III and the Year It All Changed
Greenberg, Keith Elliot
Paperback
How to Watch Football: 52 Rules for Understanding the Beautiful Game, on and Off the Pitch
The Athletic, Tifo
Hardcover
Fabric of the Game: The Stories Behind the Nhl's Names, Logos, and Uniforms
Creamer, Chris
Radom, Todd
Hardcover
The Biography of Tottenham Hotspur: The Incredible Story of the World Famous Spurs
Welch, Julie
Hardcover