Extensional PERs

Authors:
P. Freyd;P. Mulry;G. Rosolini;D. Scott
Affiliations:
-;-;-;-
Venue:
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Year:
1992

Citing 0
Cited 5

Domains in H

Theoretical Computer Science - Domains
Formalizing Synthetic Domain Theory

Journal of Automated Reasoning
A new framework for declarative programming

Theoretical Computer Science
General synthetic domain theory – a logical approach

Mathematical Structures in Computer Science
The intensional content of Rice's theorem

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract