Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Longo, G.
1984.
Mathematical Foundations of Computer Science 1984.
Vol. 176,
Issue. ,
p.
96.
Longo, G.
and
Moggi, E.
1984.
Mathematical Foundations of Computer Science 1984.
Vol. 176,
Issue. ,
p.
397.
Longo, G.
and
Moggi, E.
1984.
Semantics of Data Types.
Vol. 173,
Issue. ,
p.
235.
Longo, G.
and
Martini, S.
1984.
STACS 84.
Vol. 166,
Issue. ,
p.
186.
Weihrauch, Klaus
1985.
Type 2 recursion theory.
Theoretical Computer Science,
Vol. 38,
Issue. ,
p.
17.
Asperti, Andrea
and
Longo, Giuseppe
1986.
CAAP '86.
Vol. 214,
Issue. ,
p.
266.
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.
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.
Sazonov, Vladimir
and
Voronkov, Andrei
1993.
Computational Logic and Proof Theory.
Vol. 713,
Issue. ,
p.
301.
Schwichtenberg, Helmut
1993.
Logic and Algebra of Specification.
p.
289.
Colson, L.
and
Ehrhard, T.
1994.
On strong stability and higher-order sequentiality.
p.
103.
Normann, Dag
1999.
Handbook of Computability Theory.
Vol. 140,
Issue. ,
p.
251.
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
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.