scientific article
From MaRDI portal
Publication:3024841
zbMath1063.03517MaRDI QIDQ3024841
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
A modular construction of type theories ⋮ In the Search of a Naive Type Theory ⋮ A New Foundational Crisis in Mathematics, Is It Really Happening? ⋮ Interactive programming in Agda – Objects and graphical user interfaces ⋮ Cumulative Inductive Types in Coq ⋮ POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE ⋮ Is Impredicativity Implicitly Implicit ⋮ On paradoxes in normal form ⋮ Unnamed Item
This page was built for publication: