Introduction to Turing categories

Cached

Download Links

by J. R. B. Cockett , Pieter J. W. Hofstra
Citations:4 - 1 self

Active Bibliography

Introduction to Turing categories – J. R. B. Cockett A, P. J. W. Hofstra B
I Basic Categories 5 – J. R. B. Cockett - 2014
Categories and Computability – J. R. B. Cockett - 2010
Contents – J. R. B. Cockett, Craig, A. Pastro - 2007
766 Notions of Computation and Monads – Eugenio Moggi - 1991
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
467 Comprehending Monads – Philip Wadler - 1992
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
245 The Lazy Lambda Calculus – Samson Abramsky - 1990