Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer International Publishing

9783319089171, 9783319089188
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Model of Countable Nondeterminism in Guarded Type Theory

2014 ◽  
pp. 108-123 ◽  
Author(s):  
Aleš Bizjak ◽  
Lars Birkedal ◽  
Marino Miculan
Keyword(s):  
Type Theory

Self Types for Dependently Typed Lambda Encodings

2014 ◽  
pp. 224-239 ◽  
Author(s):  
Peng Fu ◽  
Aaron Stump

Near Semi-rings and Lambda Calculus

2014 ◽  
pp. 410-424 ◽  
Author(s):  
Rick Statman
Keyword(s):  
Lambda Calculus

Tree Automata with Height Constraints between Brothers

2014 ◽  
pp. 149-163 ◽  
Author(s):  
Carles Creus ◽  
Guillem Godoy
Keyword(s):  
Tree Automata

scholarly journals Unification and Logarithmic Space

2014 ◽  
pp. 77-92 ◽  
Author(s):  
Clément Aubert ◽  
Marc Bagnol
Keyword(s):  
Logarithmic Space

scholarly journals Unnesting of Copatterns

2014 ◽  
pp. 31-45 ◽  
Author(s):  
Anton Setzer ◽  
Andreas Abel ◽  
Brigitte Pientka ◽  
David Thibodeau

scholarly journals Local States in String Diagrams

2014 ◽  
pp. 334-348 ◽  
Author(s):  
Paul-André Melliès

scholarly journals Preciseness of Subtyping on Intersection and Union Types

2014 ◽  
pp. 194-207 ◽  
Author(s):  
Mariangiola Dezani-Ciancaglini ◽  
Silvia Ghilezan
Load More ...
Sign in / Sign up

Export Citation Format

Share Document