Polarised Intermediate Representation of Lambda Calculus with Sums Article Swipe
Related Concepts
Equivalence (formal languages)
Typed lambda calculus
Lambda calculus
Intermediate language
Calculus (dental)
Context (archaeology)
Representation (politics)
Expression (computer science)
Mathematics
Simply typed lambda calculus
Extensional definition
Syntax
Algebra over a field
Computer science
Discrete mathematics
Pure mathematics
Programming language
Artificial intelligence
Dentistry
Biology
Paleontology
Compiler
Politics
Law
Tectonics
Political science
Medicine
Guillaume Munch-Maccagnoni
,
Gabriel Scherer
·
YOU?
·
· 2015
· Open Access
·
· DOI: https://doi.org/10.1109/lics.2015.22
· OA: W1911436531
YOU?
·
· 2015
· Open Access
·
· DOI: https://doi.org/10.1109/lics.2015.22
· OA: W1911436531
Dec. 2015: see the added footnote on page 7
Related Topics
Finding more related topics…