Sign in
A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure.
Hugo Herbelin
Published in:
CSL (1994)
Keyphrases
</>
database
machine learning