The logic of the partial λ-calculus with equality (2004)

by L Schröder
Venue:In Jerzy Marcinkowski and Andrzej Tarlecki, editors, Computer Science Logic (CSL 04
Add To MetaCart
Results 1 - 1 of 1

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