|
|||||
|
|
A note on logical relations between semantics and syntax |
|
| Authors: | Pitts AM |
| Affiliation: | Cambridge University Computer Laboratory, Cambridge CB2 3QG, UK. Email: Andrew.Pitts@cl.cam.ac.uk |
| Abstract: | |
| Keywords: | denotational semantics logical relation lambda calculus contextual equivalence |
| 本文献已被 Oxford 等数据库收录！ | |