Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interaction equational » interaction emotional, interactive educational, interaction education
equational programmes » educational programmes, national programmes, equations programmed
programmes programmed » programmes programme, programming programmed, programminng programmed
programmed function » programme function, programming function, programming functions
function https » functions https, fiction https
interaction equational » interaction emotional, interactive educational, interaction education
equational programmes » educational programmes, national programmes, equations programmed
programmes programmed » programmes programme, programming programmed, programminng programmed
programmed function » programme function, programming function, programming functions
function https » functions https, fiction https
1
Published 2007
Table of Contents:
“... Normalization for the ?-Calculus with Recursive Equations on Types -- Embedding Pure Type Systems in the Lambda...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...”View full text
Electronic
eBook