Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Franco Barbanera

A Theory of Retractable and Speculative Contracts

Science of Computer Programming

English

Proof-Irrelevance Out of Excluded-Middle and Choice in the Calculus of Constructions

Journal of Functional Programming

English