Extensional constructs in intensional type theory
- ISBN
- 3540761217
Extensional constructs in intensional type theory is a type theory, functional programming book by Martin Hofmann.
Discover Extensional constructs in intensional type theory by Martin Hofmann, type theory.
About the Author
Martin Hofmann is the author of Extensional constructs in intensional type theory. Browse their full catalog on Booklogr.
Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Extensional constructs in intensional type theory?+
Extensional constructs in intensional type theory is a Type theory, Functional programming, Automatic theorem proving book.
Who wrote Extensional constructs in intensional type theory?+
Extensional constructs in intensional type theory was written by Martin Hofmann.