Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks von Honsell, Furio, Liquori, Luigi, Maksimović, Petar, Scagnetto, Ivan

Volltext

FeatherTrait: A modest extension of Featherweight Java von Liquori, Luigi, Spiwack, Arnaud

Volltext

Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts von Ciaffaglione, Alberto, Liquori, Luigi, Miculan, Marino

Volltext

Plugging-in proof development environments using Locks in LF von HONSELL, FURIO, LIQUORI, LUIGI, MAKSIMOVIĆ, PETAR, SCAGNETTO, IVAN

Volltext

Extending FeatherTrait Java with Interfaces von Liquori, Luigi, Spiwack, Arnaud

Volltext

An open logical framework von Honsell, Furio, Lenisa, Marina, Scagnetto, Ivan, Liquori, Luigi, Maksimovic, Petar

Volltext

A Decidable Subtyping Logic for Intersection and Union Types von Liquori, Luigi, Stolze, Claude

Volltext

LLFP : A Logical Framework for modeling External Evidence, Side Conditions, and Proof Irrelevance using Monads von Honsell, Furio, Liquori, Luigi, Maksimovic, Petar, Scagnetto, Ivan

Volltext

Strong Priority and Determinacy in Timed CCS von Liquori, Luigi, Mendler, Michael

Volltext bestellen

A Network Aware Resource Discovery Service von Liquori, Luigi, Gaeta, Rossano, Sereno, Matteo

Volltext

Extending FeatherTrait Java with Interfaces: Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca von LIQUORI, Luigi, SPIWACK, Arnaud

Volltext

mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads von Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto

Volltext

FeatherTrait : A Modest Extension of Featherweight Java von LIQUORI, Luigi, SPIWACK, Arnaud

Volltext

Logic and Computation in a Lambda Calculus with Intersection and Union Types von Dougherty, Daniel J., Liquori, Luigi

Volltext

Intersection-types à la Church von Liquori, Luigi, Ronchi Della Rocca, Simona

Volltext

Powerful resource discovery for Arigatoni overlay network von Chand, Raphael, Cosnard, Michel, Liquori, Luigi

Volltext

Strong Priority and Determinacy in Timed CCS von Liquori, Luigi, Mendler, Michael

Volltext

A Type Checker for a Logical Framework with Union and Intersection Types von Liquori, Luigi, Stolze, Claude

Volltext bestellen

Analyzing the exhaustiveness of the Synapse protocol von Marinković, Bojan, Ciancaglini, Vincenzo, Ognjanović, Zoran, Glavan, Paola, Liquori, Luigi, Maksimović, Petar

Volltext

Review: Formal Methods for Open Object-Based Distributed Systems V von Liquori, Luigi

Volltext