An Experiment in Practical Semantics
暂无分享,去创建一个
[1] Lawrence C. Paulson,et al. The revised logic PPLAMBDA : A reference manual , 1983 .
[2] M. Beeson. Foundations of Constructive Mathematics , 1985 .
[3] Robert Cartwright,et al. The semantics of lazy (and industrious) evaluation , 1982, LFP '82.
[4] Peter Henderson,et al. Functional programming - application and implementation , 1980, Prentice Hall International Series in Computer Science.
[5] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .