Open AccessOn the Invariance of the Unitary Cost Model for Head Reduction
Author(s) -
Beniamino Accattoli,
Ugo Dal Lago
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - unitary state , invariant (physics) , reduction (mathematics) , lambda calculus , computer science , lambda , substitution (logic) , calculus (dental) , mathematics , algebra over a field , theoretical computer science , discrete mathematics , pure mathematics , physics , programming language , law , geometry , political science , medicine , optics , dentistry , mathematical physics