Type Theory – alle Bücher, CDs und LPs, Seite 2

Steve Awodey
Cartesian Cubical Model Categories

Lecture Notes in Mathematics - Band 2385

This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory. In particular, recent constructions of cubical system…

lieferbar ab 31.12.2025.

Buch

David Goodwin
Forging the American Mind

In this follow-up to Battle for the American Mind, David Goodwin lays out the principles for providing a classical Christian education for children, K-12.American parents have been desperate for an altern…

Erscheint bald

Buch

Stergios Chatzikyriakidis, Robin Cooper, Eleni Gregoromichelaki
Types and the Structure of Meaning

Addresses the role of structure in semantic analysis from the perspective of theories of meaning using rich theories of types. Also relates the theory of frames to these type theories as introducing, to s…

lieferbar innerhalb 2-3 Wochen

Buch

Stergios Chatzikyriakidis, Robin Cooper, Eleni Gregoromichelaki
Types and the Structure of Meaning

Addresses the role of structure in semantic analysis from the perspective of theories of meaning using rich theories of types. Also relates the theory of frames to these type theories as introducing, to s…

lieferbar innerhalb 2-3 Wochen

Buch

Lindemann

Skills In Pills (180g)

Lindemann sind Till Lindemann und Peter Tägtgren. Till Lindemann ist der Sänger von Rammstein, die bis heute ca. 17 Mio. Tonträger verkauft haben und damit eine der weltweit erfolgreichsten und respekti…

Artikel am Lager

LP

Countability in Natural Language

This book focuses on current theoretical and empirical research into countability in the nominal domain, and to a lesser extent in the verbal domain. The presented state-of-the-art studies are situated wi…

lieferbar innerhalb 2-3 Wochen

Buch

Peter D'Adamo
Eat Right 4 Your Type

For over 20 years, Peter D'Adamo has extensively researched the connections between blood type, food, and disease. His first book, Eat Right 4 Your Type , is the only book to offer individualised health a…

lieferbar in mind. 4 Wochen

Buch

Iakovos Vasiliou
Varieties of Happiness

Almost all ancient Greek ethical theories are taken to be eudaimonist because of the central role of eudaimonia (happiness) within them. Varieties of Happiness critically examines eudaimonism and challeng…

lieferbar innerhalb 1-2 Wochen

Buch

The French School of Programming

T he French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors in…

lieferbar innerhalb 2-3 Wochen

Buch