http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Limit Preservation from Naturality
Caccamo, M.; Winskel, G. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.3-22
A Language For Multiplicative-additive Linear Logic
Cockett, J. R.; Pastro, C. A. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.23-65
From Geometry of Interaction to Denotational Semantics
Haghverdi, E.; Scott, P. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.67-87
A Graph-based Semantics For Object-oriented Programming Constructs
Ferreira, A. P.; Ribeiro, L. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.89-104
Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe
Maietti, M. E. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.105-126
State Dependent IO-Monads in Type Theory
Michelbrink, M.; Setzer, A. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.127-146
Adamek, J.; Milius, S.; Velebil, J. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.147-170
Asynchronous Games 3 An Innocent Model of Linear Logic
Mellies, P. A. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.171-192
Concrete Data Structures as Games
Schalk, A.; Palacios-Perez, J. J. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.193-210