z-logo
open-access-imgOpen Access
Proof pearl: abella formalization of lambda-calculus cube property
Author(s) -
Beniamino Accattoli
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - pearl , lambda calculus , calculus (dental) , cube (algebra) , property (philosophy) , lambda , computer science , typed lambda calculus , mathematics , algebra over a field , pure mathematics , programming language , combinatorics , philosophy , epistemology , geography , archaeology , medicine , physics , dentistry , optics

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here