scientific article; zbMATH DE number 733401
From MaRDI portal
Publication:4325789
zbMath0821.03005MaRDI QIDQ4325789
Publication date: 18 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
polymorphic lambda calculusimpredicative type theory with excluded middlepolymorphic higher-order logicprinciple of definite descriptionprinciple of proof irrelevance
Related Items (5)
The HOL-Omega Logic ⋮ Is Impredicativity Implicitly Implicit ⋮ Proof Relevant Corecursive Resolution ⋮ Normalization by Evaluation for Typed Weak lambda-Reduction ⋮ Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information
This page was built for publication:
