Extensional Constructs in Intensional Type Theory by Martin Hofmann | Menrva Books | MenrvaBooks

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.

Extensional Constructs in Intensional Type Theory by Martin Hofmann | Menrva Books | MenrvaBooks

Extensional Constructs in Intensional Type Theory

Extensional Constructs in Intensional Type Theory

Martin Hofmann

0

0

Author Description

null

Page Count:
232

Publication Date:
2011-01-01

ISBN-10:
1447109643

ISBN-13:
9781447109648

Science

Community Tags

Reader Comments

Share Your Thoughts

No comments yet. Be the first to share your thoughts!