Login / Signup
LINEARITY
2009
2012
2017
2009
2017
Keyphrases
Publications
volume 238, 2017
Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016.
LINEARITY
238 (2017)
2016
Antoine Allioux
Krivine Machine and Taylor Expansion in a Non-uniform Setting.
LINEARITY
(2016)
Miguel Silva
,
Mário Florido
,
Frank Pfenning
Non-Blocking Concurrent Imperative Programming with Session Types.
LINEARITY
(2016)
Max Willsey
,
Rokhini Prabhu
,
Frank Pfenning
Design and Implementation of Concurrent C0.
LINEARITY
(2016)
Quentin Heath
,
Dale Miller
A Proof Theory for Model Checking: An Extended Abstract.
LINEARITY
(2016)
Lawrence Dunn
,
Jamie Vicary
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract).
LINEARITY
(2016)
Matteo Acclavio
Proof diagrams for multiplicative linear logic.
LINEARITY
(2016)
Masahito Hasegawa
Linear Exponential Comonads without Symmetry.
LINEARITY
(2016)
Stefano Guerrini
Linear β-reduction.
LINEARITY
(2016)
volume 176, 2015
Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014.
LINEARITY
176 (2015)
2014
Michele Basaldella
Ludics without Designs I: Triads.
LINEARITY
(2014)
Kaustuv Chaudhuri
Undecidability of Multiplicative Subexponential Logic.
LINEARITY
(2014)
Edward Gan
,
Jesse A. Tov
,
Greg Morrisett
Type Classes for Lightweight Substructural Types.
LINEARITY
(2014)
Jennifer Paykin
,
Steve Zdancewic
A Linear/Producer/Consumer Model of Classical Linear Logic.
LINEARITY
(2014)
Taus Brock-Nannestad
,
Nicolas Guenot
Cut Elimination in Multifocused Linear Logic.
LINEARITY
(2014)
Ugo Dal Lago
,
Margherita Zorzi
Wave-Style Token Machines and Quantum Lambda Calculi.
LINEARITY
(2014)
Marco Solieri
Geometry of Resource Interaction - A Minimalist Approach.
LINEARITY
(2014)
2012
Maribel Fernández
,
Sébastien Maulat
Higher-order port-graph rewriting
LINEARITY
(2012)
Eugen Jiresch
Extending the Interaction Nets Calculus by Generic Rules
LINEARITY
(2012)
Yuxin Deng
,
Iliano Cervesato
,
Robert J. Simmons
Relating Reasoning Methodologies in Linear Logic and Process Algebra
LINEARITY
(2012)
Maurizio Dominici
,
Simona Ronchi Della Rocca
,
Paolo Tranquilli
Standardization in resource lambda-calculus
LINEARITY
(2012)
Pedro Baltazar
,
Dimitris Mostrous
,
Vasco Thudichum Vasconcelos
Linearly Refined Session Types
LINEARITY
(2012)
volume 101, 2012
Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012.
LINEARITY
101 (2012)
2009
Maribel Fernández
,
Nikolaos Siafakas
Labelled Lambda-calculi with Explicit Copy and Erase
LINEARITY
(2009)
Paolo Torrini
,
Reiko Heckel
Resource-Bound Quantification for Graph Transformation
LINEARITY
(2009)
Edsko de Vries
,
Adrian Francalanza
,
Matthew Hennessy
Uniqueness Typing for Resource Management in Message-Passing Concurrency
LINEARITY
(2009)
Antonio Bucciarelli
,
Alberto Carraro
,
Thomas Ehrhard
,
Antonino Salibra
On Linear Information Systems
LINEARITY
(2009)
Marco Gaboardi
,
Mauro Piccolo
Categorical Models for a Semantically Linear Lambda-calculus
LINEARITY
(2009)
volume 22, 2009
Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009.
LINEARITY
22 (2009)