Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. Wiley Interscience, Chichester (1990)
2. Lecture Notes in Computer Science;S. Berghofer,1999
3. Lecture Notes in Computer Science,2004
4. Birkedal, L., Møgelberg, R.E.: Categorical models for abadi and plotkin’s logic for parametricity. Math. Struct. Comput. Sci. 15 (2005)
5. Lecture Notes in Computer Science;E.L. Gunter,1994