- Restriction categories III: colimits, partial limits and extensivity ROBIN COCKETT STEPHEN LACK Fri 02 March 2012
- Model theory of exponentials on Lie algebras ANGUS MACINTYRE Fri 02 March 2012
- On traced monoidal closed categories MASAHITO HASEGAWA Fri 02 March 2012
- Algebra and logic for resource-based systems modelling MATTHEW COLLINSON DAVID PYM Fri 02 March 2012
- The algebraic lambda calculus LIONEL VAUX Fri 02 March 2012
- On universal algebra over nominal sets ALEXANDER KURZ DANIELA PETRIŞAN Fri 02 March 2012
- A system of interaction and structure V: the exponentials and splitting ALESSIO GUGLIELMI LUTZ STRAßBURGER Fri 02 March 2012
- Type classes for mathematics in type theory BAS SPITTERS EELIS VAN DER WEEGEN Fri 02 March 2012
- Bisimulations for non-deterministic labelled Markov processes PEDRO R. DtextquotesingleARGENIO PEDRO SÁNCHEZ TERRAF NICOLÁS WOLOVICK Fri 02 March 2012
- Finitary -adhesive categories KARSTEN GABRIEL BENJAMIN BRAATZ HARTMUT EHRIG ULRIKE GOLAS Fri 02 March 2012
- Higher-order psi-calculi JOACHIM PARROW JOHANNES BORGSTRÖM PALLE RAABJERG JOHANNES AAMAN POHJOLA Fri 02 March 2012
- Wadge hardness in Scott spaces and its effectivization VERÓNICA BECHER SERGE GRIGORIEFF Fri 02 March 2012
- Wadge-like reducibilities on arbitrary quasi-Polish spaces LUCA MOTTO ROS PHILIPP SCHLICHT VICTOR SELIVANOV Fri 02 March 2012
- Constructive decidability of classical continuity MARTÍN ESCARDÓ Fri 02 March 2012
- Partiality and recursion in interactive theorem provers textendash an overview ANA BOVE ALEXANDER KRAUSS MATTHIEU SOZEAU Fri 02 March 2012
- Univalent categories and the Rezk completion BENEDIKT AHRENS KRZYSZTOF KAPULKIN MICHAEL SHULMAN Fri 02 March 2012
- A univalent formalization of the -adic numbers ÁLVARO PELAYO VLADIMIR VOEVODSKY MICHAEL A. WARREN Fri 02 March 2012
- Practical coinduction DEXTER KOZEN ALEXANDRA SILVA Fri 02 March 2012
- Natural models of homotopy type theory STEVE AWODEY Fri 02 March 2012
- Execution time of łambda-terms via denotational semantics and intersection types DANIEL DE CARVALHO Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
