Result 1 to 20 from 50 total
Aspects of predicative algebraic set theory. III: Sheaves. (English)
Proc. Lond. Math. Soc. (3) 105, No. 5, 1076-1122 (2012).
1
Fuzzy logic models in a category of fuzzy relations. (English)
Soft Comput. 13, No. 6, 591-596 (2009).
2
Introduction to Turing categories. (English)
Ann. Pure Appl. Logic 156, No. 2-3, 183-209 (2008).
3
Impredicativity entails untypedness. (English)
Math. Struct. Comput. Sci. 12, No.3, 335-347 (2002).
4
Coherence completions of categories. (English)
Theor. Comput. Sci. 227, No.1-2, 153-184 (1999).
5
Kripke resource models of a dependently-typed bunched $λ$-calculus. (Extended abstract). (English)
Flum, Jörg (ed.) et al., Computer science logic. 13th international workshop, CSL ’99. 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1683, 235-249 (1999).
6
Logical predicates for intuitionistic linear type theories. (English)
Girard, Jean-Yves (ed.), Typed lambda calculi and applications. 4th international conference, TLCA ’99. L’Aquila, Italy, April 7‒9, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1581, 198-212 (1999).
7
Game semantics for untyped $λβη$-calculus. (English)
Girard, Jean-Yves (ed.), Typed lambda calculi and applications. 4th international conference, TLCA ’99. L’Aquila, Italy, April 7‒9, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1581, 114-128 (1999).
8
Building models of linear logic. (Extended abstract). (English)
Haeberer, Armando Martín (ed.), Algebraic methodology and software technology. 7th international conference, AMAST ’98, Amazonia, Brazil, January 4‒8, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1548, 164-177 (1999).
9
A linear metalanguage for concurrency. (English)
Haeberer, Armando Martín (ed.), Algebraic methodology and software technology. 7th international conference, AMAST ’98, Amazonia, Brazil, January 4‒8, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1548, 42-58 (1999).
10
Mapping tile logic into rewriting logic. (English)
Parisi Presicce, Francesco (ed.), Recent trends in algebraic development techniques. 12th international workshop, WADT ’97, Tarquinia, Italy, June 3‒7, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1376, 62-91 (1998).
11
Constructing process categories. (English)
Theor. Comput. Sci. 177, No.1, 73-109 (1997).
12
Multilinearity of sketches. (English)
Theory Appl. Categ. 3, 269-277 (1997).
13
Kripke models and the (in)equational logic of the second-order $λ$-calculus. (English)
Ann. Pure Appl. Logic 84, No.3, 257-316 (1997).
14
Syntactic characterizations of closure under pullbacks and of locally polypresentable categories. (English)
Ann. Pure Appl. Logic 84, No.1, 73-95 (1997).
15
Categorical properties of logical frameworks. (English)
Math. Struct. Comput. Sci. 7, No.1, 1-47 (1997).
16
Models for concurrency: Towards a classification. (English)
Theor. Comput. Sci. 170, No.1-2, 297-348 (1996).
17
Set theory: on the structure of the real line. (English)
Wellesley, MA: A. K. Peters Ltd. ix, 546 p. \$ 69.95; \sterling 48.95; DM 125.00 (1995).
18
Action structures and the pi-calculus. (English)
Schwichtenberg, Helmut (ed.), Proof and computation. Proceedings of the NATO ASI summer school held in Marktoberdorf, Germany, July 20-August 1, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 317-377 (1995).
19
Inconsistent mathematics. (English)
Mathematics and its Applications (Dordrecht). 312. Dordrecht: Kluwer Academic Publishers. ix, 155 p. \$ 77.00; Dfl. 120.00; \sterling 51.00 (1995).
20
Result 1 to 20 from 50 total
Start
Contact
Print
General Help
