Extensional Constructs in Intensional Type Theory

149.79 EUR

Marke: Springer London

ISBN: 1447112431

MPN: 19302057

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Extensional Constructs in Intensional Type Theory, Fachbücher von Martin Hofmann

149.79 EUR 149.79 EUR

02-07-2026 15:46:17

Access to the deal