Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by ROSS PATERSON
Proofs for Free
Journal of Functional Programming
Software
De Bruijn Notation as a Nested Datatype
Journal of Functional Programming
Software
Related publications
Algorithmic Structuring of Cut-Free Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Types for Proofs and Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Time-Optimal Interactive Proofs for Circuit Evaluation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Separation Logic Adapted for Proofs by Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cyclic Proofs for Linear Temporal Logic
On Tight Security Proofs for Schnorr Signatures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Security Proofs for Key Agreement Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Minimum-Knowledge Interactive Proofs for Decision Problems
SIAM Journal on Computing
Mathematics
Computer Science
