类 型
10 篇文献
 
What is a categorical model of the differential and the resource lambda-calculi?  
In this paper we provide an abstract model theory for the untyped differential lambda-calculus and the resource calculus. In particular we propose a general definition of model of these calculi, namel......
Computing Research Repository  2010
0次引用 0 0
Interaction Systems and Linear Logic, a different games semantics  
We define a model for linear logic based on two well-known ingredients: games and simulations. This model is interesting in the following respect: while it is obvious that the objects interpreting for......
Computing Research Repository  2009
0次引用 0 0
Dieren tial Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (Extended Abstract)  
In the rst part of the paper I investigate categorical mod- els of multiplicative biadditive intuitionistic linear logic, and note that in them some surprising coherence laws arise. The thesis for the......
0次引用 0 0
Categorical Models for Simply Typed Resource Calculi  
We introduce the notion of differential λ-category as an extension of Blute-Cockett-Seely’s differential Cartesian categories. We prove that differential λ-categories can be used to model the simply t......
Electronic Notes in Theoretical Computer Science  2010
9次引用 0 0
What is a Categorical Model of the Dierential and the Resource -Calculi?  
The dierential -calculus is a paradigmatic functional programming language en- dowed with a syntactical dierentiation operator that allows to apply a program to an argument in a linear way. One of the......
0次引用 0 0
Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic  
Abstract. In the rst part of the paper I investigate categorical models of multiplicative biadditive intuitionistic linear logic, and note that in them some surprising coherence laws arise. The thesis......
Typed Lambda Calculus and Applications  2007
2次引用 0 0
A convenient differential category  
In this paper, we show that the category of Mackey-complete, separated, topological convex bornological vector spaces and bornological linear maps is a differential category. Such spaces were introduc......
Computing Research Repository  2010
0次引用 0 0
Proof Nets as Formal Feynman Diagrams  
Summary. The introduction of linear logic and its associated proof theory has revolutionized many semantical investigations, for example, the search for fullyabstract models of PCF and the analysis of......
0次引用 0 0
CARTESIAN DIFFERENTIAL CATEGORIES  
a comonad (a “coalgebra modality”) and a differential combinator. The morphisms of a differential category should be thought of as the linear maps; the differentiable or smooth maps would then be morp......
6次引用 0 0
λ-calcul différentiel et logique classique : interactions calculatoires  
0次引用 0 0

Feedback
Feedback
Feedback
我想反馈:
排行榜