-
3
-
-
18944362200
-
Vicious circles: On the mathematics of non-wellfounded phenomena
-
L Barwise, L Moss. Vicious circles: On the mathematics of non-wellfounded phenomena, CSLI Publications, Stanford, 1996.
-
(1996)
CSLI Publications, Stanford
-
-
Barwise, L.1
Moss, L.2
-
4
-
-
84958972841
-
Coinductive axiomatization of recursive type equality and subtyping
-
P.de Groote, R.Hindley, eds., Springer LNCS 1210
-
M Brandt, F Henglein. Coinductive axiomatization of recursive type equality and subtyping, TLCA’97Conf. Proc., P.de Groote, R.Hindley, eds., Springer LNCS 1210, 1997, 63-81.
-
(1997)
TLCA’97Conf. Proc
, pp. 63-81
-
-
Brandt, M.1
Henglein, F.2
-
5
-
-
0345776125
-
Infinite Objects in Type Theory
-
Springer LNCS
-
T Coquand. Infinite Objects in Type Theory, Types for Proofs and Programs TYPES-93, Springer LNCS 806, 1994, 62-78.
-
(1994)
Types for Proofs and Programs TYPES-93
, vol.806
, pp. 62-78
-
-
Coquand, T.1
-
6
-
-
0006407653
-
A Coinduction Principle for Recursive Data Types Based on Bisimulation
-
M Fiore. A Coinduction Principle for Recursive Data Types Based on Bisimulation, Inf. & Comp. 127, 1996, 186-198.
-
(1996)
Inf. & Comp
, vol.127
, pp. 186-198
-
-
Fiore, M.1
-
7
-
-
0000787751
-
Elonsell. Set theory with free construction principles
-
M Forti, F Elonsell. Set theory with free construction principles, Ann. Scuola Norm. Sup. Pisa, Cl. Sci. (4) 10, 1983, 493-522.
-
(1983)
Ann. Scuola Norm. Sup. Pisa, Cl. Sci. (4)
, vol.10
, pp. 493-522
-
-
M Forti, F.1
-
8
-
-
84948168202
-
Codifying guarded definitions with recursive schemes
-
P.Dybjer et al. eds., Springer LNCS 996
-
E Giménez. Codifying guarded definitions with recursive schemes, Workshop on Types for Proofs and Programs, P.Dybjer et al. eds., Springer LNCS 996, 1994, 39-59.
-
(1994)
Workshop on Types for Proofs and Programs
, pp. 39-59
-
-
Giménez, E.1
-
9
-
-
24444481080
-
An application of co-Inductive types in Coq: Verification of the Alternating Bit Protocol
-
E Giménez. An application of co-Inductive types in Coq: verification of the Alternating Bit Protocol, Workshop Types Proofs and Programs, 1995.
-
(1995)
Workshop Types Proofs and Programs
-
-
Giménez, E.1
-
11
-
-
84947437004
-
Final Semantics for Untyped Lambda Calculus
-
M.Dezani et al eds., Springer LNCS 902
-
F Honsell, M Lenisa. Final Semantics for Untyped Lambda Calculus, TLCA’95 Conf. Proc., M.Dezani et al eds., Springer LNCS 902, 1995, 249-265.
-
(1995)
TLCA’95 Conf. Proc
, pp. 249-265
-
-
Honsell, F.1
Lenisa, M.2
-
12
-
-
84947908685
-
Final Semantics for a Higher Order Concurrent Language
-
H.Kirchner et. al. eds., Springer LNCS 1059
-
M Lenisa. Final Semantics for a Higher Order Concurrent Language, CAAP’96, H.Kirchner et. al. eds., Springer LNCS 1059, 1996, 102-118.
-
(1996)
CAAP’96
, pp. 102-118
-
-
Lenisa, M.1
-
13
-
-
0004487893
-
-
Ph.D. Thesis TD-6/98, Diparti- mento di Informatica, Università di Pisa, March
-
M Lenisa. Themes in Final Semantics, Ph.D. Thesis TD-6/98, Diparti- mento di Informatica, Università di Pisa, March 1998.
-
(1998)
Themes in Final Semantics
-
-
Lenisa, M.1
-
14
-
-
0022956819
-
Infinite Objects in Type Theory
-
EEE Computer Society Press
-
N P Mendler, P Panangaden, R.L Constable. Infinite Objects in Type Theory, 1th LICS Conf. Proc., IEEE Computer Society Press, 1986, 249-255.
-
(1986)
1Th LICS Conf. Proc
, pp. 249-255
-
-
Mendler, N.P.1
Panangaden, P.2
Constable, R.L.3
-
15
-
-
0001530725
-
Calculi for synchrony and asynchrony
-
R Milner. Calculi for synchrony and asynchrony, TCS 25, 1983, 267-310.
-
(1983)
TCS
, vol.25
, pp. 267-310
-
-
Milner, R.1
-
16
-
-
0000066575
-
A complete inference system for a class of regular behaviours
-
R Milner. A complete inference system for a class of regular behaviours, I. of Computer and System Sciences 28, 1984, 39-466.
-
(1984)
I. Of Computer and System Sciences
, vol.28
, pp. 39-466
-
-
Milner, R.1
-
18
-
-
0002796916
-
Relational Properties of Domains
-
A.M Pitts. Relational Properties of Domains, Inf. & Comp. 127, 1996.
-
(1996)
Inf. & Comp
, pp. 127
-
-
Pitts, A.M.1
-
19
-
-
84937695624
-
-
Department of Computer Science, University of Edinburgh
-
G.Plotkin. Types and Partial Functions, Post-Graduate Lecture Notes, Department of Computer Science, University of Edinburgh, 1985.
-
(1985)
Post-Graduate Lecture Notes
-
-
Types, G.1
Functions, P.2
-
20
-
-
84937709034
-
-
Universal coalgebra: a theory of systems, Report CS- R9652, CWI, Amsterdam
-
J.J.M.M Rutten. Universal coalgebra: a theory of systems, Report CS- R9652, CWI, Amsterdam, 1996.
-
(1996)
-
-
Rutten, J.1
-
21
-
-
84962687423
-
On the Foundations of Final Semantics: NonStandard Sets
-
J.de Bakker et al. eds., Springer LNCS 666
-
J J M M Rutten, D Turi. On the Foundations of Final Semantics: NonStandard Sets, Metric Spaces, Partial Orders, REX Conf. Proc., J.de Bakker et al. eds., Springer LNCS 666, 1993, 477-530.
-
(1993)
Metric Spaces, Partial Orders, REX Conf. Proc
, pp. 477-530
-
-
Rutten, J.1
Turi, D.2
-
22
-
-
84937681132
-
A Theory for Program and Data type Specification
-
C Talcott. A Theory for Program and Data type Specification, TCS, Disco90 Special Issue, 1990.
-
(1990)
TCS, Disco90 Special Issue
-
-
Talcott, C.1
|