Trefferliste "Ruy De Queiroz" - alle Bücher

Ihre Suche nach "Ruy De Queiroz" (Bücher) ergab 2 Treffer.

Logic, Language, Information, and Computation

Lecture Notes in Computer Science - Band 15942

.- Deep Induction for Inductive Families .- Asymptotic Reasoning with Two Variables Asymptotic Reasoning with Two Variables. .- Logics of Importation and Exportation for the Implicative Conditional. .- Pa…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27* Aktueller Preis: EUR 72,27

Artikel merken

In den Warenkorb

Menge ändern

Arthur Freitas Ramos, Ruy J. G. B. De Queiroz, Anjolina Grisi de Oliveira

Computational Paths. The Calculus of Equality

When are two proofs of the same proposition equal? This book answers through computational paths - explicit syntactic witnesses that record how one proof-term rewrites into another. Continuing the program…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,83* Aktueller Preis: EUR 43,83

Artikel merken

In den Warenkorb

Menge ändern