类 型
6 篇文献
 
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
DIFFERENTIAL RESTRICTION CATEGORIES  
Abstract. We combine two recent ideas: cartesian differential categories, and restriction categories. The result is a new structure which axiomatizes the category of smooth maps defined on open subset......
1次引用 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
What is a Categorical Model of the Differential and the Resource λ-Calculi?  
Abstract. The differential λ-calculus is a paradigmatic functional programming language endowed with a syntactical differentiation operator that allows to apply a program to an argument in a linear wa......
0次引用 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

Feedback
Feedback
Feedback
我想反馈:
排行榜