4 citations · 10 across the 8 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.LO2015
Proceedings First International Workshop on Focusing
Iliano Cervesato, Carsten Schürmann
This volume constitutes the proceedings of WoF'15, the First International Workshop on Focusing, held on November 23rd, 2015 in Suva, Fiji. The workshop was a half-day satellite ev…
cs.LO2015★ 1 cited
Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice
Iliano Cervesato, Kaustuv Chaudhuri
This volume constitutes the proceedings of LFMTP 2015, the Tenth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, held on August 1st, 2015 in B…
cs.LO2015
Proceedings Third International Workshop on Linearity
Sandra Alves, Iliano Cervesato
This volume contains the papers presented at LINEARITY 2014, the Third International Workshop on Linearity, held on July 13, 2014 in Vienna, Austria. The workshop was a one-day sat…