DICE

Keyphrases

Publications

2011

Evgeny Makarov
Provably Total Functions of Arithmetic with Basic Terms DICE (2011)
Lucien Capedevielle
A type system for PSPACE derived from light linear logic DICE (2011)
Clément Aubert
Sublogarithmic uniform Boolean proof nets DICE (2011)
Daniel Leivant, Ramyaa Ramyaa
Implicit complexity for coinductive data: a characterization of corecurrence DICE (2011)

volume 75, 2011

Proceedings Second Workshop on Developments in Implicit Computational Complexity, Saarbrücken, DICE 2011, Germany, April 2nd and 3rd, 2011. DICE 75 (2011)

2010

volume 23, 2010

Proceedings International Workshop on Developments in Implicit Computational complExity, DICE 2010, Paphos, Cyprus, 27-28th March 2010. DICE 23 (2010)