An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC

@inproceedings{Fiore1994AnAO,
  title={An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC},
  author={Marcelo P. Fiore and Gordon D. Plotkin},
  booktitle={LICS},
  year={1994}
}
Categorical models of the metalanguage FPC (a type theory with sums, products, exponentials and recursive types) are defined. Then, domain-theoretic models of FPC are axiomatised and a wide subclass of them —the non-trivial and absolute ones— are proved to be both computationally sound and adequate. Examples include: the category of cpos and partial continuous functions and functor categories over it. 
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 79 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 50 extracted citations

Fixpoint operators for domain equations

Theor. Comput. Sci. • 2002
View 4 Excerpts
Highly Influenced

Types of Fireballs (Extended Version)

View 14 Excerpts
Highly Influenced

Bistable Biorders: A Sequential Domain Theory

Logical Methods in Computer Science • 2007
View 4 Excerpts
Highly Influenced

An Operational Domain-theoretic Treatment of Recursive Types

Electr. Notes Theor. Comput. Sci. • 2006
View 3 Excerpts
Highly Influenced

Games and Full Abstraction for FPC

Inf. Comput. • 2000
View 10 Excerpts
Highly Influenced

Monads in action

POPL • 2010
View 3 Excerpts
Highly Influenced

Axiomatics for Data Refinement in Call by Value Programming Languages

Electr. Notes Theor. Comput. Sci. • 2009
View 4 Excerpts
Highly Influenced

80 Citations

051015'94'99'05'11'17
Citations per Year
Semantic Scholar estimates that this publication has 80 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 19 references

Full abstraction for sequential languages : the state of the art

M. P. Fiore.
1993

Algebraically compact functors

M. Barr
Journal of Pure and Applied Algebra, • 1992

Algebraically complete categories

P. J. Freyd
Category Theory, volume 1488 of Lecture Notes in Mathematics, • 1991

Similar Papers

Loading similar papers…