Neuware
Types for Proofs and Programs - LIPIcs Proceedings 19th International Conference TYPES 2013, April…
2014 Kartoniert, 280 Seiten, 270mm x 190mm x 20mm, Sprache(n): eng In this LIPIcs proceedings one can find research papers on the following topics: analysis of the classical principles in intuitionistic calculi, type isomorphisms for intersection types, monads and their semantics in functional p…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783735756862
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!