Extensional Constructs in Intensional Type TheoryMartin Hofmann

Extensional Constructs in Intensional Type Theory

Martin Hofmann · 1997

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 1997
Language: English
Series: CPHC/BCS Distinguished Dissertations
Publisher: Springer London
Editions: 3
Pages: 216
ISBN: 9781447109631

Data source: Wikidata

More by Martin Hofmann

Powerful ArgumentsMartin Hofmann

Powerful Arguments

Martin Hofmann · 2020

Foundations of Software Science and Computational StructuresMartin Hofmann

Foundations of Software Science and Computational Structures

Martin Hofmann · 2011

Holistic Approach to Process OptimisationMartin Hofmann

Holistic Approach to Process Optimisation

Martin Hofmann · 2021

Prozessoptimierung als ganzheitlicher AnsatzMartin Hofmann

Prozessoptimierung als ganzheitlicher Ansatz

Martin Hofmann · 2019

Corporate Governance-Strukturen Von Special Purpose Acquisition Companies Aus Ökonomischer PerspektiveMartin Hofmann

Corporate Governance-Strukturen Von Special Purpose Acquisition Companies Aus Ökonomischer Perspektive

Martin Hofmann · 2013

Corporate Social Responsibility in AustralienMartin Hofmann

Corporate Social Responsibility in Australien

Martin Hofmann · 2013

Konzeption eines Prozeßinformations- und -managementsystemsMartin Hofmann

Konzeption eines Prozeßinformations- und -managementsystems

Martin Hofmann · 2012

Automatentheorie und LogikMartin Hofmann

Automatentheorie und Logik

Martin Hofmann · 2011

Typed Lambda Calculi and ApplicationsMartin Hofmann

Typed Lambda Calculi and Applications

Martin Hofmann · 2003

Wissensorte in ChinaMartin Hofmann

Wissensorte in China

Martin Hofmann · 2023