Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stefano Berardi
Proof-Irrelevance Out of Excluded-Middle and Choice in the Calculus of Constructions
Journal of Functional Programming
Software
Related publications
Induction Principles Formalized in the Calculus of Constructions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Lists and Other Abstract Data Types in the Calculus of Constructions
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Future Contingents, Non-Contradiction, and the Law of Excluded Middle Muddle
Analysis
Philosophy
A New Elimination Rule for the Calculus of Inductive Constructions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions Draft
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Short Proof of the Middle Levels Theorem
Discrete Analysis
Algebra
Combinatorics
Number Theory
Geometry
Discrete Mathematics
Topology
Proof Systems for Retracts in Simply Typed Lambda Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multi-Verb Constructions in Old Chinese and Middle Chinese
Asia-Pacific Language Variation