„Typentheorie“

Suchergebnisse

1.000+ Treffer

• Die Kategorie der gleichungs-partiellen Theorien als semantischer Bereich
  Reichel, Horst 1995 TU, Fak. Informatik
• Types for proofs and programs – selected papers
  Dybjer, Peter 1995 Springer
• Typisch Mensch – Einführung in die Typentheorie
  Bents, Richard ; Blank, Reiner 1995 Beltz Test
• Semantische Paradoxien, Typentheorie und ideale Sprache – Studien zur Sprachphilosophie Bertrand Russells
  Rheinwald, Rosemarie 1988 de Gruyter
• Die Neuabgrenzung von Urheber- und Designrecht – Kritische Würdigung der Aufgabe der Stufentheorie durch den BGH
  Gersch, Cornelia Bettina 2019 Peter Lang GmbH, Internationaler Verlag der Wissenschaften
• Programming with Symmetric Data and Codata Types
  Binder, David ; Ostermann, Klaus 2024 Universitätsbibliothek Tübingen
• Axiomatizations of Compositional Inductive-Recursive Definitions
  Spahn, Stephan ; Schroeder-Heister, Peter 2018 Universitätsbibliothek Tübingen
• Construction and deduction in type theories
  Strecker, Martin 1999 Universität Ulm. Fakultät für Informatik
• Language engineering and rigorous software development – international LerNet ALFA summer school 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures
  Bove, Ana 2009 Springer
• A universal realizability model for sequential functional computation
  Rohr, Alexander
• Programming, specification and interactive theorem proving – towards a unified language based on equational logic, rewriting logic and type theory
  Stehr, Mark-Oliver
• Equality and extensionality in automated higher-order theorem proving
  Benzmüller, Christoph
• Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) – 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
  Amblard, Maxime ; Groote, Philippe ˜deœ ; Pogodalla, Sylvain ; Retoré, Christian 2016 Springer International Publishing
• Types for Proofs and Programs – International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
  2009 Springer Berlin Heidelberg
• Logical Aspects of Computational Linguistics – 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings
  Asher, Nicholas ; Soloviev, Sergei 2014 Springer International Publishing
• Programming Languages and Systems – Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings
  Chin, Wei-Ngan 2004 Springer Berlin Heidelberg
• Logical Aspects of Computational Linguistics – 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
  Béchet, Denis ; Dikovsky, Alexander 2012 Springer Berlin Heidelberg
• Logic of Computation
  Schwichtenberg, Helmut 1997 Springer Berlin Heidelberg
• Logical Aspects of Computational Linguistics – 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings
  Pogodalla, Sylvain ; Prost, Jean-Philippe 2011 Springer Berlin Heidelberg
• Logical Aspects of Computational Linguistics – 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings
  Blache, Philippe 2005 Springer Berlin Heidelberg