Programming in Martin-Löf's Type Theory

15 years 9 months ago

Download www.cs.chalmers.se

"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for researchers and graduate students with an interest in the foundations of computing science, and it is mathematically self-contained."

Bengt Nordström, Kent Petersson, Jan M. Smith

Real-time Traffic

Functional Programming | Programming Languages | Type Theory |

posted by scimaster

Post Info
More Details (n/a)

Added	07 Feb 2009
Updated	07 Feb 2009
Authors	Bengt Nordström, Kent Petersson, Jan M. Smith

Comments (0)

	Introduction to Logic 1569 views
	Linear Matrix Inequalities in System and Control Theory 1455 views
	Linear Controller Design Limits of Performance 1500 views
	Spatial Reasoning: Theory and Practice 1331 views
	Spatial Augmented Reality Merging Real and Virtual Worlds 1752 views

Sciweavers

Programming in Martin-Löf's Type Theory

Functional Programming | Programming Languages | Type Theory |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers