Results 61 to 70 of about 13,143,476 (301)
Dynamic Syntax in a Theory of Types with Records
LanguagesThis paper presents a recasting of key aspects of dynamic syntax (DS) in a theory of types with records (TTR), concentrating on the incremental processing of speech events as they unfold and viewed in terms of classifying these events in terms of ...
Robin Cooper, Staffan Larsson
doaj +1 more source
Kripke Semantics for Martin-L\"of's Extensional Type Theory [PDF]
Logical Methods in Computer Science, 2011 It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended classes of models, e.g., the class of cartesian closed categories. Similarly,
Steve Awodey, Florian Rabe
doaj +1 more source
Introduction to Type Theory [PDF]
, 2009 These notes comprise the lecture "Introduction to Type Theory" that I gave at the Alpha Lernet Summer School in Piriapolis, Uruguay in February 2008. The lecture was meant as an introduction to typed ¿-calculus for PhD. students that have some (but possibly not much) familiarity with logic or functional programming.
openaire +2 more sources
A theory of qualified types [PDF]
Science of Computer Programming, 1992 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Numerous international studies have reported declines in new cancer diagnoses, delayed diagnoses and disruptions in cancer treatment following the implementation of COVID‐19 pandemic public health measures, raising concerns that these effects may ultimately contribute to increased cancer mortality.
Friederike Erdmann +8 more
wiley +1 more source
Type Theory and Universal Grammar
Philosophia Scientiæ, 2006 The paper takes a look at the history of the idea of universal grammar and compares it with multilingual grammars, as formalized in the Grammatical Framework, GF.
Aarne Ranta
doaj +1 more source
Muti-instanton amplitudes in type IIB string theory
Journal of High Energy Physics, 2021 We compute the normalization of the multiple D-instanton amplitudes in type IIB string theory and show that the result agrees with the prediction of S-duality due to Green and Gutperle.
Ashoke Sen
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Relapsed and/or refractory (R/R) pediatric acute leukemia carries a dismal prognosis, largely driven by chemoresistance to conventional salvage therapy. The BH3‐mimetic venetoclax, combined with chemotherapy or hypomethylating agents, has demonstrated efficacy in small clinical trials.
Katherine S. Colman +9 more
wiley +1 more source
Lawvere-Tierney sheafification in Homotopy Type Theory
, 2016 International audienceSheafification is a popular tool in topos theory which allows to extend the internal logic of a topos with new principles. One of its most famous applications is the possibility to transform a topos into a boolean topos using the ...
Tabareau, Nicolas, Quirin, Kevin
core +1 more source
AdS/CFT Correspondence and Type 0 String Theory [PDF]
, 2000 We review some applications of Type 0 string theory in the context of theAdS/CFT ...
Dario Martelli, Martelli, D
core +1 more source