Modern Type Theories (Englisch)
- Neue Suche nach: Chatzikyriakidis, Stergios
- Neue Suche nach: Luo, Zhaohui
- Neue Suche nach: Chatzikyriakidis, Stergios
- Neue Suche nach: Luo, Zhaohui
In:
Formal Semantics in Modern Type Theories
;
23-46
;
2024
-
ISBN:
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Modern Type Theories
-
Beteiligte:Chatzikyriakidis, Stergios ( Autor:in ) / Luo, Zhaohui ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: John Wiley & Sons, Inc.
-
Erscheinungsort:Hoboken, NJ, USA
-
Erscheinungsdatum:03.06.2024
-
Format / Umfang:24 pages
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Type Theories and Semantic StudiesChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 23
-
Modern Type TheoriesChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 47
-
Formal Semantics in Modern Type TheoriesChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 75
-
Advanced ModificationChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 127
-
Reasoning and Verifying NL Semantics in CoqChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 151
-
Advanced TopicsChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 173
-
Simple Type Theory CChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 177
-
Type ConstructorsChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 181
-
Prop and Logical Operators in Impredicative MTTsChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 183
-
And for CoordinationChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 187
-
Formal System LFΔChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 191
-
Rules for Dot‐TypesChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 193
-
Coq CodesChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 199
-
Copredication and IndividuationChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 209
-
ReferencesChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- 225
-
IndexChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- G1
-
Other titles from iSTE in Cognitive Science and Knowledge ManagementChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024
- i
-
Front MatterChatzikyriakidis, Stergios / Luo, Zhaohui et al. | 2024