Results 41 to 50 of about 2,516,098 (344)

Type classes for mathematics in type theory [PDF]

Mathematical Structures in Computer Science, 2011
The introduction of first-class type classes in the Coq system calls for a re-examination of the basic interfaces used for mathematical formalisation in type theory. We present a new set of type classes for mathematics and take full advantage of their unique features to make practical a particularly flexible approach that was formerly thought to be ...
Spitters B., Van Der Weegen E.
openaire   +4 more sources

Logical relations for coherence of effect subtyping

, 2018
A coercion semantics of a programming language with subtyping is typically defined on typing derivations rather than on typing judgments. To avoid semantic ambiguity, such a semantics is expected to be coherent, i.e., independent of the typing derivation
Biernacki, Dariusz, Polesiuk, Piotr
core   +1 more source

Typing Quantum Superpositions and Measurement [PDF]

, 2017
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions.
A Díaz-Caro, GE Peterson, JY Girard, M Zorzi, P Arrighi, S Abramsky   +5 more
core   +3 more sources

CRISPR Typing Increases the Discriminatory Power of Streptococcus agalactiae Typing Methods

Frontiers in Microbiology, 2021
We explored the relevance of a Clustered regularly interspaced short palindromic repeats (CRISPR)-based genotyping tool for Streptococcus agalactiae typing and we compared this method to current molecular methods [multi locus sequence typing (MLST) and ...
Clémence Beauruelle, Clémence Beauruelle, Ludovic Treluyer, Adeline Pastuszka, Adeline Pastuszka, Thierry Cochard, Clément Lier, Clément Lier, Laurent Mereghetti, Laurent Mereghetti, Philippe Glaser, Philippe Glaser, Claire Poyart, Claire Poyart, Claire Poyart, Philippe Lanotte   +15 more
doaj   +1 more source

Session Types as Generic Process Types [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
In Proceedings EXPRESS/SOS 2014, arXiv:1408 ...
Gay, Simon J., Gesbert, Nils, Ravara, António   +2 more
openaire   +7 more sources

Call-by-name Gradual Type Theory

, 2020
We present gradual type theory, a logic and type theory for call-by-name gradual typing. We define the central constructions of gradual typing (the dynamic type, type casts and type error) in a novel way, by universal properties relative to new judgments
Licata, Daniel R., New, Max S.
core   +1 more source

Trust, but Verify: Two-Phase Typing for Dynamic Languages [PDF]

, 2015
A key challenge when statically typing so-called dynamic languages is the ubiquity of value-based overloading, where a given function can dynamically reflect upon and behave according to the types of its arguments.
Cosman, Benjamin, Jhala, Ranjit, Vekris, Panagiotis   +2 more
core   +2 more sources

The Impact of Killer Cell Immunoglobulin-Like Receptors and Human Leukocyte Antigen-E, Human Leukocyte Antigen-G Polymorphisms on Innate Immunity and COVID-19 Severity

Journal of Immunology Research
Conclusion: Genetic variations in KIR, HLA-E, and HLA-G are associated with susceptibility and resistance to severe COVID-19 outcomes. This elucidates the intricate interplay of NK cells and immune-related genes, offering insights into potential ...
Cigdem Kekik, Sonay Temurhan, Yeliz Ogret, Behnoush Nasr Zanjani, Demet Kıvanc, Fatma Savran Oguz, Murat Kose, Fatma Betul Oktelik, Gunnur Deniz   +8 more
doaj   +1 more source

Molecular Characterisation of Vancomycin-Resistant Enterococcus faecium Isolates Belonging to the Lineage ST117/CT24 Causing Hospital Outbreaks

Frontiers in Microbiology, 2021
Background: Vancomycin-resistant Enterococcus faecium (VREfm) is a successful nosocomial pathogen. The current molecular method recommended in the Netherlands for VREfm typing is based on core genome Multilocus sequence typing (cgMLST), however, the ...
Paola Lisotto, Natacha Couto, Natacha Couto, Sigrid Rosema, Mariëtte Lokate, Xuewei Zhou, Erik Bathoorn, Hermie J. M. Harmsen, Alexander W. Friedrich, John W. A. Rossen, John W. A. Rossen, John W. A. Rossen, Monika A. Chlebowicz-Fliss   +12 more
doaj   +1 more source

Algebras of acyclic cluster type: Tree type and type à [PDF]

Nagoya Mathematical Journal, 2013
AbstractIn this paper, we study algebras of global dimension at most 2 whose generalized cluster category is equivalent to the cluster category of an acyclic quiver which is either a tree or of typeÃ.We are particularly interested in their derived equivalence classification.
Amiot, Claire, Oppermann, Steffen
openaire   +5 more sources