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 2012-12

On Realisability Semantics for Intersection Types with Expansion Variables

Fairouz Kamareddine, Karim Nour, Vincent Rahli [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2012-12

Intersection Types from a Proof-theoretic Perspective

Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi

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

Intersection Types and Termination Properties

George Koletsos

Fundamenta Informaticae

Retricted access

Research article

First published 2002

Study of Intersection Accidents by Maneuver Type

Sudeshna Mitra, Hoong Chor Chin, Mohammed Abdul Quddus

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2012-12

Intersection Types with Subtyping by Means of Cut Elimination

Olivier Laurent

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization

Andrej Dudenhefner, Jakob Rehof

Fundamenta Informaticae

Retricted access

Research article

First published 2000

Variations in Capacity at Signalized Intersections with Different Area Types

Xuewen Le, Jian Lu, Edward A. Mierzejewski [...]

Transportation Research Record: Journal of the Transportation Research Board

Search results