Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations

2009 ◽  
pp. 145-158 ◽  
Author(s):  
Richard Dapoigny ◽  
Patrick Barlatier
Keyword(s):  
Dependent Types ◽  
Ontological Modeling

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

Finitist set theory in ontological modeling

2018 ◽  
Vol 13 (2) ◽  
pp. 107-133
Author(s):  
Avril Styrman ◽  
Aapo Halko
Keyword(s):  
Set Theory ◽  
Ontological Modeling

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 ◽  
Vol 46 (9) ◽  
pp. 266-278 ◽  
Author(s):  
Nikhil Swamy ◽  
Juan Chen ◽  
Cédric Fournet ◽  
Pierre-Yves Strub ◽  
Karthikeyan Bhargavan ◽  
...  
Keyword(s):  
Distributed Programming ◽  
Dependent Types
Sign in / Sign up

Export Citation Format

Share Document