FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM
AUTHORS
KEYWORDS
VOLUMES
FLoC

FoPSS

ITP

CSF

FSCD

SAT

CAV

IJCAR

ICLP

FM

LICS

ADHS

ADSL

ARQNL

ASPOCP

AVOCS

CL&C

COALG

Coq

DCM

Domains13

DSFM

EICNCL

FIDE

FCS

FRIDA

GraMSec

GS

HCVS

HDRA

HOR

HoTT/UF

ICLPDC

IFIP WG 1.6

Isabelle

ITRS

IWC

LaSh

LCC

LearnAut

LFMTP

Linearity/TLLA

LMW

LOLA

LPOP

LSB

MLP

MoRe

MSFP

NLCS

NSV

Overture

PAAR

PARIS

PC

PLR

POS

PRUV

QBF

RCRA

REFINE

ReMOTE

rv4rise

SCSC

SMT

SoMLMFM

SR

SYNT

TERMGRAPH

Tetrapod

ThEdu

TLA

TYDI

UITP

UNIF

Vampire

VaVAS

VDMW

VEMDP

VSTTE

WiL

WPTE

WST
PROGRAM

AUTHORS

KEYWORDS

VOLUME
LINEARITY/TLLA PREPROCEEDINGS
Papers
Papers with Abstracts
Preface
Author Index
Keyword Index
Editors:
Maribel Fernandez
,
Valeria de Paiva
,
Thomas Ehrhard
and
Lorenzo Tortora De Falco
Authors
Title
Paper
Talk
Sandra Alves
Termination of lambdacalculus linearization methods
Iliano Cervesato
,
Sharjeel Khan
,
Giselle Reis
and
Dragisa Zunic
Formalization of Automated Trading Systems in a Concurrent Linear Framework
Jul 08 17:20
Zeinab Galal
Towards a Functional Language for Species of Structures
Jul 08 09:00
Masahito Hasegawa
From Linear Logic to Cyclic Sharing
Jul 07 14:55
Jiaming Jiang
,
Harley Eades Iii
and
Valeria de Paiva
On the Lambek Calculus with an Exchange Modality
Jul 07 09:20
Marie Kerjean
and
Yoann Dabrowski
Models of Linear Logic based on the Schwartz epsilon product
Jul 08 12:00
Wen Kokke
,
Fabrizio Montesi
and
Marco Peressotti
Taking Linear Logic Apart
Jul 07 12:00
Pierre Lescanne
How to count linear and affine closed lambda terms?
Jul 08 09:20
Zhaohui Luo
Substructural Calculi with Dependent Types
Jul 07 09:00
Roberto Maieli
The structure of non decomposable connectives of linear logic
Jul 07 14:00
Giulio Manzonetto
and
Giulio Guerrieri
The Bang Calculus and the Two Girard's Translations
Jul 07 09:55
Lê Thành Dũng Nguyễn
and
Thomas Seiller
Coherent interaction graphs: a nondeterministic geometry of interaction for MLL
Jul 08 14:55
Lê Thành Dũng Nguyễn
and
Thomas Seiller
A semantic conjecture on secondorder MLL and its complexity consequences (work in progress)
Jul 08 17:00
Carlos Olarte
,
Valeria de Paiva
,
Elaine Pimentel
and
Giselle Reis
Benchmarking Linear Logic Translations
Jul 08 14:20
Luca Paolini
,
Luca Roversi
and
Margherita Zorzi
Quantum programming made easy
Jul 07 17:35
Luc Pellissier
Generalized generalized species of structure and resource modalities
Jul 08 14:00
Luc Pellissier
and
Thomas Seiller
Entropy and Complexity Lower Bounds
Jul 08 09:55
Paolo Pistone
Proof nets, coends and the Yoneda isomorphism
Jul 07 17:00
Lionel Vaux Auclair
and
Federico Olimpieri
On the Taylor expansion of λterms and the groupoid structure of their rigid approximants
Jul 07 14:20
Disclaimer

Powered by EasyChair Smart Program