Title of article :
CategoricalModels for a Semantically Linear -calculus
Author/Authors :
Marco Gaboardi، نويسنده , , Mauro Piccolo، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
Pages :
13
From page :
1
To page :
13
Abstract :
This paper is about a categorical approach to model a very simple Semantically Linear A-calculus, named ^A-calculus. This is a core calculus underlying the programming language
Journal title :
Electronic Proceedings in Theoretical Computer Science
Serial Year :
2010
Journal title :
Electronic Proceedings in Theoretical Computer Science
Record number :
679843
Link To Document :
