Sage Journals: Discover world-class research

Retricted access

Research article

First published 2012-12

Completeness and Soundness Results for 𝒳 with Intersection and Union Types

Steffen van Bakel

Fundamenta Informaticae

Retricted access

Research article

First published 2019

The Duality of Classical Intersection and Union Types

Paul Downen, Zena M. Ariola, Silvia Ghilezan

Fundamenta Informaticae

Retricted access

Research article

First published 2014-2-20

Union,intersection and refinement types and reasoning about type disjointness for secure protocol implementations

Michael Backes, Cătălin Hriţcu, Matteo Maffei

Journal of Computer Security

Retricted access

Research article

First published 2012-12

Strong Normalization in the π-calculus with Intersection and Union Types

Mauro Piccolo

Fundamenta Informaticae

Retricted access

Research article

First published 2012-12

Towards a Logic for Union Types

Yiorgos Stavrinos, Anastasia Veneti

Fundamenta Informaticae

Retricted access

Research article

First published 2022-10

Public-Sector Unions as Equalizing Institutions: Race,Gender,and Earnings

Jasmine Kerrissey, Nathan Meyers

ILR Review

Retricted access

Research article

First published 2021-06

Biomedical Entity Explorer: A Web Server for Biomedical Entity Exploration

Jinuk Jung, Hyunwhan Joe, Kyungsik Ha [...]

Journal of Computational Biology

Retricted access

Research article

First published 2020-04-30

Another view on generalized interval valued intuitionistic fuzzy soft set and its applications in decision support system

Muhammad Jabir Khan, Poom Kumam, Peide Liu [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2018

Properties of single-valued neutrosophic graphs

Faruk Karaaslan, Bijan Davvaz

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2018

Operation Properties and Algebraic Application of Covering Rough Sets

Qingzhao Kong, Weihua Xu

Fundamenta Informaticae

Search results