Proof Rules, Mathematical Semantics, and Programming Language Design

Proof Rules, Mathematical Semantics, and Programming Language Design

Bibliographic Details
Main Author: Ligler, G. T.
Published: University of Oxford 1975
Subjects:
005.3
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.463251

Internet

http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.463251

Similar Items