scholarly journals Generalized Quantifiers on Dependent Types: A System for Anaphora

2017 ◽  
pp. 95-131 ◽  
Author(s):  
Justyna Grudzińska ◽  
Marek Zawadowski
Keyword(s):  
Dependent Types ◽  
Generalized Quantifiers

scholarly journals Semantics with Dependent Types for Indefinites

2016 ◽  
Vol 46 (1) ◽  
pp. 173-192
Author(s):  
Justyna Grudzińska
Keyword(s):  
Dynamic Properties ◽  
Formal System ◽  
Dependent Types ◽  
Generalized Quantifiers

Abstract The paper proposes a new semantics with dependent types for indefinites, encompassing both the data related to their exceptional scopal behavior and the data related to their anaphoric (dynamic) properties. The proposal builds on the formal system combining generalized quantifiers ([Mostowski 1957], [Lindström 1966]) with dependent types ([Martin-Löf 1972], [Makkai 1995]) in [Grudzińska & Zawadowski 2014] and [Grudzińska & Zawadowski 2016].

scholarly journals Secure distributed programming with value-dependent types

2011 ◽  
Author(s):  
Nikhil Swamy ◽  
Juan Chen ◽  
Cédric Fournet ◽  
Pierre-Yves Strub ◽  
Karthikeyan Bhargavan ◽  
...  
Keyword(s):  
Distributed Programming ◽  
Dependent Types

Foundations of path-dependent types

2014 ◽  
Vol 49 (10) ◽  
pp. 233-249 ◽  
Author(s):  
Nada Amin ◽  
Tiark Rompf ◽  
Martin Odersky
Keyword(s):  
Dependent Types ◽  
Path Dependent

Generating high performance code for irregular data structures using dependent types

2021 ◽  
Author(s):  
Federico Pizzuti ◽  
Michel Steuwer ◽  
Christophe Dubach
Keyword(s):  
Data Structures ◽  
High Performance ◽  
Dependent Types ◽  
Irregular Data

scholarly journals Handling delimited continuations with dependent types

2018 ◽  
Vol 2 (ICFP) ◽  
pp. 1-31 ◽  
Author(s):  
Youyou Cong ◽  
Kenichi Asai
Keyword(s):  
Dependent Types ◽  
Delimited Continuations

scholarly journals A fuzzy syllogistic reasoning schema for generalized quantifiers

2014 ◽  
Vol 234 ◽  
pp. 79-96 ◽  
Author(s):  
M. Pereira-Fariña ◽  
Juan C. Vidal ◽  
F. Dĺaz-Hermida ◽  
A. Bugarĺn
Keyword(s):  
Syllogistic Reasoning ◽  
Generalized Quantifiers
Sign in / Sign up

Export Citation Format

Share Document