- Tight typings and split bounds, fully developed BENIAMINO ACCATTOLI STÉPHANE GRAHAM-LENGRAND DELIA KESNER Fri 02 March 2012
- From ML to Ada: Strongly-typed language interoperability via source translation ANDREW TOLMACH DINO P. OLIVA Fri 02 March 2012
- A coherence theorem for Martin-Löftextquotesingles type theory MICHAEL HEDBERG Fri 02 March 2012
- Efficient recursive subtyping Dexter Kozen Jens Palsberg Michael I. Schwartzbach Fri 02 March 2012
- A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes Yoram Hirshfeld Mark Jerrum Faron Moller Fri 02 March 2012
- Linear time computable problems and first-order descriptions Detlef Seese Fri 02 March 2012
- The RusselltextendashPrawitz modality PETER ACZEL Fri 02 March 2012
- A judgmental reconstruction of modal logic FRANK PFENNING ROWAN DAVIES Fri 02 March 2012
- Proof nets and explicit substitutions ROBERTO DI COSMO DELIA KESNER EMMANUEL POLONOVSKI Fri 02 March 2012
- Modular control-flow analysis with rank 2 intersection types ANINDYA BANERJEE THOMAS JENSEN Fri 02 March 2012
- Complexity of weak bisimilarity and regularity for BPA and BPP JI SRBA Fri 02 March 2012
- Type-based termination of recursive definitions G. BARTHE M. J. FRADE E. GIMNEZ L. PINTO T. UUSTALU Fri 02 March 2012
- Towards a quantum programming language PETER SELINGER Fri 02 March 2012
- Domain theory and differential calculus (functions of one variable) ABBAS EDALAT ANDRÉ LIEUTIER Fri 02 March 2012
- Definitions by rewriting in the Calculus of Constructions FRÉDÉRIC BLANQUI Fri 02 March 2012
- A coinductive calculus of streams J. J. M. M. Rutten Fri 02 March 2012
- Finiteness spaces THOMAS EHRHARD Fri 02 March 2012
- The semantics of BI and resource tableaux D. GALMICHE D. MÉRY D. PYM Fri 02 March 2012
- Distributing probability over non-determinism DANIELE VARACCA GLYNN WINSKEL Fri 02 March 2012
- Borel ranks and Wadge degrees of context free textdollartextbackslashomegatextdollar-languages OLIVIER FINKEL Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
