Go backward to Categorical Exponentiation
Go up to Top

References

[1]: David A. Schmidt. The Structure of Typed Programming Languages, MIT Press, Cambridge, MA, 1994.

Id: records.tex,v 1.1 1996/05/20 12:33:10 schreine Exp schreine