Lambda-Calculus and Combinators : An Introduction
J. Roger (University of Wales, Swansea) Hindley
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£64.99
£54.73
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Basic Simple Type Theory
J. Roger (University of Wales, Swansea) Hindley
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£96.99
£78.48
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket