Mijn boeken
← Catalogus
Type Theory, Lambda Calculus and the Mind
E. Barendsen

Type Theory, Lambda Calculus and the Mind essays dedicated to Henk Barendregt on the occasion of his 60th Birthday

E. Barendsen
V. Capretta red. · H. Geuvers red.
Hardback300 pagina’sEngels
In het kort
ISBN-13
9789090224466
Uitgever
Radboud Universiteit Nijmegen, Faculteit NWI
Verschenen
7 december 2007
NUR
993 · Theoretische informatica

Lijkt op dit boek

Omslag van Agentic AI and the Rise of the Digital Colleague
Agentic AI and the Rise of the Digital Colleague
Omslag van Mnemomatica
Mnemomatica
Omslag van Mnemomatica
Mnemomatica
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Omslag van Modelling and analysis of real-time coordination patterns
Modelling and analysis of real-time coordination patterns
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Omslag van Zaakgericht werken: koude en warme digitale dossiers
Zaakgericht werken: koude en warme digitale dossiers
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Omslag van Het midoffice
Het midoffice
NSTC 500639005 · CB-relatie 9488012 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Type Theory, Lambda Calculus and the Mind
E. Barendsen

Type Theory, Lambda Calculus and the Mind

essays dedicated to Henk Barendregt on the occasion of his 60th Birthday
E. Barendsen
V. Capretta redacteur · H. Geuvers redacteur
Hardback300 pagina’sEngels
Bestel bij bol →
In het kort
ISBN-13
9789090224466
Uitgever
Radboud Universiteit Nijmegen, Faculteit NWI
Verschenen
7 december 2007
NUR
993 · Theoretische informatica

Lijkt op dit boek

Alles bekijken →
Omslag van Agentic AI and the Rise of the Digital Colleague
Agentic AI and the Rise of the Digital Colleague
Omslag van Mnemomatica
Mnemomatica
Aldemar Verstolen
Omslag van Mnemomatica
Mnemomatica
Aldemar Verstolen
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Veerle Fack
Omslag van Modelling and analysis of real-time coordination patterns
Modelling and analysis of real-time coordination patterns
Stephanie Kemper
Omslag van Algoritmen en datastructuren
Algoritmen en datastructuren
Veerle Fack
NSTC 500639005 · CB-relatie 9488012 · Bijgewerkt 6 augustus 2026