Electronic Proceedings in Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

3725
(FIVE YEARS 861)

H-INDEX

20
(FIVE YEARS 4)

Published By Open Publishing Association

2075-2180, 2075-2180
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems

2021 ◽  
Vol 352 ◽  
pp. 116-128
Author(s):  
Richard Schmoetten ◽  
Jake Palmer ◽  
Jacques Fleuriot
Keyword(s):  
Minkowski Spacetime

scholarly journals A Braided Lambda Calculus

2021 ◽  
Vol 353 ◽  
pp. 94-108
Author(s):  
Masahito Hasegawa
Keyword(s):  
Lambda Calculus

scholarly journals On Automating Triangle Constructions in Absolute and Hyperbolic Geometry

2021 ◽  
Vol 352 ◽  
pp. 14-26
Author(s):  
Vesna Marinković ◽  
Tijana Šukilović ◽  
Filip Marić
Keyword(s):  
Hyperbolic Geometry

scholarly journals Deriving Distributive Laws for Graded Linear Types

2021 ◽  
Vol 353 ◽  
pp. 109-131
Author(s):  
Jack Hughes ◽  
Michael Vollmer ◽  
Dominic Orchard
Keyword(s):  
Linear Types

scholarly journals Linear Additives

2021 ◽  
Vol 353 ◽  
pp. 74-93
Author(s):  
Gianluca Curzi
Load More ...
Sign in / Sign up

Export Citation Format

Share Document