A category theoretic characterization of functional completeness (1990)

by G Longo, E Moggi
Venue:Theoretical Computer Science
Add To MetaCart
Results 1 - 2 of 2

Introduction to Turing categories

by J. R. B. Cockett, Pieter J. W. Hofstra
"... ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Abstract not found

I Basic Categories 6

by J. R. B. Cockett , 2010
"... ..."
Abstract - Add to MetaCart
Abstract not found