Proofs for Free

Journal of Functional Programming - United Kingdom
doi 10.1017/s0956796812000056
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Algorithmic Structuring of Cut-Free Proofs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Types for Proofs and Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Time-Optimal Interactive Proofs for Circuit Evaluation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Separation Logic Adapted for Proofs by Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1984English

Cyclic Proofs for Linear Temporal Logic

English

On Tight Security Proofs for Schnorr Signatures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Modular Security Proofs for Key Agreement Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Minimum-Knowledge Interactive Proofs for Decision Problems

SIAM Journal on Computing
MathematicsComputer Science
1989English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy