Open AccessProof 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