Combinatory Logic
portes grátis
Combinatory Logic
Pure, Applied and Typed
Bimbo, Katalin
Taylor & Francis Ltd
10/2024
358
Mole
9781032921181
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Elementary Combinatory Logic. Main Theorems. Systems of Arithmetic. Connection to ?-Calculi. (In)Equational Combinatory Logic. Models. Dual and Symmetric Combinatory Logic. Combinators in Applications. Typed Combinatory Logic. Appendix.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Weak Reduction;Church Rosser Property;basis;Implicational Fragment;weak;Combinatory Basis;equality;Sequent Calculi;church;Weak Equality;rosser;Combinatory Axioms;theorem;Simple Type;reduction;Church Rosser Theorem;transitive;Primitive Recursive;closure;Natural Numbers;property;Type Assignment Systems;Fixed Point Theorem;Reflexive Transitive Closure;Primitive Recursive Functions;Diamond Property;Provable Equations;Propositional Variables;Substitution Instance;Combinatory Logic;Vice Versa;Combinatory Algebra;Partial Recursive Functions;Dual Combinators;Fixed Point Property
Elementary Combinatory Logic. Main Theorems. Systems of Arithmetic. Connection to ?-Calculi. (In)Equational Combinatory Logic. Models. Dual and Symmetric Combinatory Logic. Combinators in Applications. Typed Combinatory Logic. Appendix.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Weak Reduction;Church Rosser Property;basis;Implicational Fragment;weak;Combinatory Basis;equality;Sequent Calculi;church;Weak Equality;rosser;Combinatory Axioms;theorem;Simple Type;reduction;Church Rosser Theorem;transitive;Primitive Recursive;closure;Natural Numbers;property;Type Assignment Systems;Fixed Point Theorem;Reflexive Transitive Closure;Primitive Recursive Functions;Diamond Property;Provable Equations;Propositional Variables;Substitution Instance;Combinatory Logic;Vice Versa;Combinatory Algebra;Partial Recursive Functions;Dual Combinators;Fixed Point Property
