Journals Higher Education
Important OUP's Response to COVID-19 Learn more



This item is printed to order. Items which are printed to order are normally despatched and charged within 5-10 days.

Published: 27 August 1992

230 Pages


ISBN: 9780198537755

Bookseller Code (AQ)

Intensional Logics for Programming

Edited by Luis Fariñas del Cerro and Martti Penttonen

Clarendon Press

Studies in Logic and Computation

Intensional logics provide a theoretical basis for establishing the foundations of programming. This volume discusses the use of intensional ...

Also of Interest