Categories, types, and structures: an introduction to category theory for the working computer scientist
The Lambda-Calculus with Multiplicities (Abstract)
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
The differential Lambda-calculus
Theoretical Computer Science
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Theoretical Computer Science - Logic, language, information and computation
Uniformity and the Taylor expansion of ordinary lambda-terms
Theoretical Computer Science
Parallel Reduction in Resource Lambda-Calculus
APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
Böhm trees, krivine's machine and the taylor expansion of lambda-terms
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Complexity of strongly normalising λ-terms via non-idempotent intersection types
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Constructing differential categories and deconstructing categories of games
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
A Simply Typed λ-Calculus of Forward Automatic Differentiation
Electronic Notes in Theoretical Computer Science (ENTCS)
Constructing differential categories and deconstructing categories of games
Information and Computation
Hi-index | 0.00 |
We introduce the notion of differential @l-category as an extension of Blute-Cockett-Seely's differential Cartesian categories. We prove that differential @l-categories can be used to model the simply typed versions of: (i) the differential @l-calculus, a @l-calculus extended with a syntactic derivative operator; (ii) the resource calculus, a non-lazy axiomatisation of Boudol's @l-calculus with multiplicities. Finally, we provide two concrete examples of differential @l-categories, namely, the category MRel of sets and relations, and the category MFin of finiteness spaces and finitary relations.