Save Search
Save your searches to access them later
Saved Searches
Year Year arrow
arrow-active-down-0
Publisher Publisher arrow
arrow-active-down-1
Journal
1
Journal arrow
arrow-active-down-2
Institution Institution arrow
arrow-active-down-3
Institution Country Institution Country arrow
arrow-active-down-4
Publication Type Publication Type arrow
arrow-active-down-5
Field Of Study Field Of Study arrow
arrow-active-down-6
Topics Topics arrow
arrow-active-down-7
Open Access Open Access arrow
arrow-active-down-8
Language Language arrow
arrow-active-down-9
Reset All
Filter Icon Filter 1
Search Paper
Cancel
Year Year arrow
arrow-active-down-0
Publisher Publisher arrow
arrow-active-down-1
Journal
1
Journal arrow
arrow-active-down-2
Institution Institution arrow
arrow-active-down-3
Institution Country Institution Country arrow
arrow-active-down-4
Publication Type Publication Type arrow
arrow-active-down-5
Field Of Study Field Of Study arrow
arrow-active-down-6
Topics Topics arrow
arrow-active-down-7
Open Access Open Access arrow
arrow-active-down-8
Language Language arrow
arrow-active-down-9
Reset All
Filter Icon Filter 1
Export
Sort by: Relevance
  • New
  • Journal Issue
  • 10.4204/eptcs.442
  • Mar 8, 2026
  • Electronic Proceedings in Theoretical Computer Science

  • New
  • Research Article
  • 10.4204/eptcs.441.9
Non-Derivability Results in Polymorphic Dependent Type Theory
  • Mar 3, 2026
  • Electronic Proceedings in Theoretical Computer Science
  • Herman Geuvers

  • New
  • Research Article
  • 10.4204/eptcs.441.12
An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
  • Mar 3, 2026
  • Electronic Proceedings in Theoretical Computer Science
  • Rob Nederpelt + 1 more

  • New
  • Research Article
  • 10.4204/eptcs.441.1
Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
  • Mar 3, 2026
  • Electronic Proceedings in Theoretical Computer Science
  • Zena M Ariola + 2 more

  • New
  • Research Article
  • 10.4204/eptcs.441.10
Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs
  • Mar 3, 2026
  • Electronic Proceedings in Theoretical Computer Science
  • Sohei Ito + 1 more

  • New
  • Research Article
  • 10.4204/eptcs.441.0
Proceedings Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday
  • Mar 3, 2026
  • Electronic Proceedings in Theoretical Computer Science
  • Thorsten Altenkirch + 3 more

  • New
  • Research Article
  • 10.4204/eptcs.441.5
Learning Foundations Beneath the Stars
  • Mar 3, 2026
  • Electronic Proceedings in Theoretical Computer Science
  • Felice Cardone + 1 more

  • New
  • Research Article
  • 10.4204/eptcs.441.6
Two Remarks about Game Semantics of Classical Logic
  • Mar 3, 2026
  • Electronic Proceedings in Theoretical Computer Science
  • Thierry Coquand

  • New
  • Research Article
  • 10.4204/eptcs.441.3
Uniform Realizability Interpretations
  • Mar 3, 2026
  • Electronic Proceedings in Theoretical Computer Science
  • Ulrich Berger + 1 more

  • New
  • Research Article
  • 10.4204/eptcs.441.13
Reversible Computation with Stacks and ''Reversible Management of Failures''
  • Mar 3, 2026
  • Electronic Proceedings in Theoretical Computer Science
  • Matteo Palazzo + 1 more