Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Longo, G.
and
Martini, S.
1984.
STACS 84.
Vol. 166,
Issue. ,
p.
186.
Longo, G.
1984.
Mathematical Foundations of Computer Science 1984.
Vol. 176,
Issue. ,
p.
96.
Longo, G.
and
Moggi, E.
1984.
Semantics of Data Types.
Vol. 173,
Issue. ,
p.
235.
Longo, G.
and
Moggi, E.
1984.
Mathematical Foundations of Computer Science 1984.
Vol. 176,
Issue. ,
p.
397.
Weihrauch, Klaus
1985.
Type 2 recursion theory.
Theoretical Computer Science,
Vol. 38,
Issue. ,
p.
17.
Longo, G.
and
Martini, S.
1986.
Computability in higher types, Pω and the completeness of type assignment.
Theoretical Computer Science,
Vol. 46,
Issue. ,
p.
197.
Bernardi, Claudio
1986.
Precomplete equivalence relations in dominical categories.
Proceedings of the American Mathematical Society,
Vol. 98,
Issue. 1,
p.
124.
Asperti, Andrea
and
Longo, Giuseppe
1986.
CAAP '86.
Vol. 214,
Issue. ,
p.
266.
Longo, Giuseppe
1988.
On church's formal theory of functions and functionals.
Annals of Pure and Applied Logic,
Vol. 40,
Issue. 2,
p.
93.
Mulry, Philip S.
1989.
A categorical approach to the theory of computation.
Annals of Pure and Applied Logic,
Vol. 43,
Issue. 3,
p.
293.
Longo, Giuseppe
and
Moggi, Eugenio
1990.
A category-theoretic characterization of functional completeness.
Theoretical Computer Science,
Vol. 70,
Issue. 2,
p.
193.
1992.
Vol. 125,
Issue. ,
p.
603.
Schwichtenberg, Helmut
1993.
Logic and Algebra of Specification.
p.
289.
Sazonov, Vladimir
and
Voronkov, Andrei
1993.
Computational Logic and Proof Theory.
Vol. 713,
Issue. ,
p.
301.
Colson, L.
and
Ehrhard, T.
1994.
On strong stability and higher-order sequentiality.
p.
103.
Rosolini, G.
and
Streicher, Th.
1999.
Comparing models of higher type computation.
Electronic Notes in Theoretical Computer Science,
Vol. 23,
Issue. 1,
p.
159.
Normann, Dag
1999.
Handbook of Computability Theory.
Vol. 140,
Issue. ,
p.
251.
Normann, Dag
2000.
The Continuous Functionals of Finite Types Over the Reals.
Electronic Notes in Theoretical Computer Science,
Vol. 35,
Issue. ,
p.
163.
Bauer, Andrej
and
Birkedal, Lars
2000.
Computer Science Logic.
Vol. 1862,
Issue. ,
p.
202.
Normann, Dag
2001.
Domains and Processes.
p.
103.