Computational Adequacy in an Elementary Topos

Authors:
Alex K. Simpson
Affiliations:
-
Venue:
Proceedings of the 12th International Workshop on Computer Science Logic
Year:
1998

Citing 0
Cited 3

Adequacy for Algebraic Effects

FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Complete Axioms for Categorical Fixed-Point Operators

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.01

Visualization

Abstract