Program Testing and the Meaning Explanations of Intuitionistic Type Theory
Kapitel i bok, 2012

Författare

Peter Dybjer

Chalmers, Data- och informationsteknik, Datavetenskap

Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

215-241

Ämneskategorier

Algebra och logik

ISBN

978-94-007-4434-9

Mer information

Skapat

2017-10-07