Go backward to Orthogonality
Go up to Top
Go forward to Categorical Product
Model of the Programming Language
- Are our constructions of records and lambda abstractions the "right"
ones?
- Justification by category theory.
- Categorical product.
- Categorical exponentiation.
- Definitions:
- <E, E>:= (fst=E,
snd=E)
- 1 := with do fst
- 2 := with do snd
- (E = E) := [[pi |- E: theta]] =
[[pi |- E: theta]],
in Env
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: records.tex,v 1.1 1996/05/20 12:33:10 schreine Exp schreine