A Simple Adequate Categorical Model for PCF
Authors:
Torben Braüner
Affiliations:
-
Venue:
TLCA '97 Proceedings of the Third International Conference on Typed Lambda Calculi and Applications
Year:
1997
Citing
0
Cited
1
A Simple Adequate Categorical Model for PCF, II
Fundamenta Informaticae
Quantified Score
Hi-index
0.00
Visualization
Abstract