S. Mac Lane. Categories for the Working Matematician. Springer-Verlag, 1971. 24 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A General Adequacy Result for a Linear Functional Language - Braüner (1994) (Correct)
....semantics 4.1 The connection to denotational semantics In what follows, A] will mean the interpretation of A and [ u] the interpretation of u. When appropriate, we will abuse notation and omit the brackets. We have stated a reference where the categorical notions used can not be found in [Lan71]. In denotational semantics, a type A is normally interpreted as a set [ A] with a certain structure. A term u of type A with free variables x 1 , x n of type A 1 , A n is then interpreted as a function [ u] from [ A 1 ] Theta : Theta [ A n ] to [ A] In particular, if u is ....
S. Mac Lane. Categories for the Working Matematician. Springer-Verlag, 1971. 24
A Model of Intuitionistic Affine Logic from Stable Domain Theory - Braüner (1994) (Correct)
No context found.
S. Mac Lane. Categories for the Working Matematician. Springer-Verlag, 1971.
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