Loading...
Combinatory logic : pure, applied and typed /
Main Author: | Bimbó, Katalin |
---|---|
Format: | Printed Book |
Published: |
Boca Raton, FL :
CRC Press,
2012.
|
Similar Items
-
Combinatory logic pure applied and typed
by: Bimbo, Katalin
Published: (2012) -
Combinatory Logic: pure applied and typed
by: Bombo, Katalin
Published: (2011) -
Proof theory: sequent calculi and related formalisms
by: Bimbo, Katalin
Published: (2015) -
Proof theory sequent calculi and related formalisms
by: Bimbo, Katalin
Published: (2015) -
Introduction to combinatory logic
by: Hindley, J. Roger
Published: (1972)