SEMANTICS AND LOGICS OF COMPUTATION - Andrew M. Pitts,Peter No Dybjer; Dybjer,Peter (Cambridge Univ. Press, Cambridge, 1997)
Keywords: Electronic Data Processing; Programming Languages (Electronic Computer Semantics); Logic, Symbolic And Mathematical