Old Web
English
Sign In
Acemap
>
Paper
>
Categorical Models for a Semantically Linear Lambda-calculus
Categorical Models for a Semantically Linear Lambda-calculus
2010
Marco Gaboardi
Mauro Piccolo
Keywords:
Programming language
Lambda calculus
Logic in computer science
Categorical variable
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
32
References
0
Citations
NaN
KQI
[]