212 search results - page 1 / 43 » Working with Mathematical Structures in Type Theory |
TYPES
2007
Springer
13 years 11 months ago
2007
Springer
FOSSACS
2005
Springer
13 years 10 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
JFP
2010
13 years 3 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
MKM
2005
Springer
13 years 10 months ago
2005
Springer
ion with nouns and adjectives Syntax and type system Future works and conclusion Toward an Object-Oriented Structure for Mathematical Text Fairouz Kamareddine, Manuel Maarek and Jo...
IMPERIAL
1993
13 years 8 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...