Extensional Constructs in Intensional Type Theory

Materias

• Automatic theorem proving
• Functional programming (computer science)
• Logic, symbolic and mathematical

Ediciones (3)

• Extensional Constructs in Intensional Type Theory (2011)

  Springer · ISBN 9781447109648

• Extensional Constructs in Intensional Type Theory (2011)

  Springer London, Limited · inglés · ISBN 9781447112433

• Extensional Constructs in Intensional Type Theory (1997)

  Springer London · inglés · ISBN 9781447109631

Más obras de Martin Hofmann