A categorical approach to realizability and polymorphic types-Reference-Cited by-同舟云学术

A categorical approach to realizability and polymorphic types

Published:1988 Issue: Volume: Page:23-42
ISSN:0302-9743
Container-title:Mathematical Foundations of Programming Language Semantics
language:
Short-container-title:

Author:

Carboni Aurelio,Freyd Peter J.,Scedrov Andre

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-19020-1_2.pdf

Reference27 articles.

1. Bainbridge E. S., Freyd P. J., Scedrov A., Scott P. J. [88], Functorial polymorphism. In: "Logical Foundations of Functional Programming" (G. Huet, ed.), Addison-Wesley, to appear.

2. Beeson M. [1985], "Foundations of constructive mathematics". Ergeb. der Math., Springer-Verlag, New York.

3. Boileau A., Joyal A. [1981], La logique des topos. J. Symb. Logic 46, 6–16.

4. Breazu-Tannen V., Coquand T. [87], Extensional models for polymorphism. Proc. TAPSOFT '87 — CFLP, Pisa, Theor. Comp. Sci., to appear.

5. Bruce K. B., Meyer A. R., Mitchell J. C. [87], The semantics of second-order lambda calculus. Information & Computation, to appear.

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Parallelism in Realizability Models;Logic, Language, Information, and Computation;2023

2. Logic of Fusion;Logic, Language, and Security;2020

3. The category of equilogical spaces and the effective topos as homotopical quotients;Journal of Homotopy and Related Structures;2016-10-25

4. Unifying Exact Completions;Applied Categorical Structures;2013-12-05

5. Regular functors and relative realisability categories;Mathematical Structures in Computer Science;2013-04-18