Dwight Spencer. A survey of categorical computation: fixed points, partiality, combinators, ... control? Bulletin of the European Association of Theoretical Computer Science, 43:285--312, 1991. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Type Inference and Reconstruction for First Order Dependent Types - Nelson (1995) (1 citation) (Correct)
....realizability within the language always seem to have more special cases to handle. One approach to the clarifying the presentation would be to look for uniformity by examining the T system within a categorical framework. Some work has been done in this area for dependent types [Car86] Spencer [Spe91] discusses the advantages of the categorical approach for strongly normalizing languages. Another approach to simplifying the presentation would be to look at basing the system on iteration rather than weak recursion. Girard [GLT89] shows that the combinator we use can be simulated using an ....
Dwight Spencer. A survey of categorical computation: fixed points, partiality, combinators, ... control? Bulletin of the European Association of Theoretical Computer Science, 43:285--312, 1991.
Strong Categorical Datatypes I - Robin, Cockett, al. (1991) (13 citations) (Correct)
No context found.
D. Spencer, A survey of categorical computation: fixed points, partiality, combinators, ... control? Bulletin of the European Association of Theoretical Computer Science 43 (February, 1991) 285-312.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC