Titlebook: Logic from Computer Science; Proceedings of a Wor Yiannis N. Moschovakis Conference proceedings 1992 Springer-Verlag New York, Inc. 1992 co

延期

独特性

小样他闲聊

extinct

构想

dowagers-hump

连累

诱使

Normal Forms and Cut-Free Proofs as Natural Transformations,meaning of cut-elimination and asymmetrical interpretations of cut-free proofs. This viewpoint is connected to Reynolds’ relational interpretation of parametricity ([27], [2]), and to the Kelly-Lambek-Mac Lane-Mints approach to coherence problems in category theory.

AGOG

Indicative

5楼