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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319089171, 9783319089188

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Model of Countable Nondeterminism in Guarded Type Theory

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_8 ◽

2014 ◽

pp. 108-123 ◽

Cited By ~ 10

Author(s):

Aleš Bizjak ◽

Lars Birkedal ◽

Marino Miculan

Keyword(s):

Type Theory

Download Full-text

Self Types for Dependently Typed Lambda Encodings

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_16 ◽

2014 ◽

pp. 224-239 ◽

Cited By ~ 1

Author(s):

Peng Fu ◽

Aaron Stump

Download Full-text

Near Semi-rings and Lambda Calculus

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_28 ◽

2014 ◽

pp. 410-424 ◽

Cited By ~ 1

Author(s):

Rick Statman

Keyword(s):

Lambda Calculus

Download Full-text

Construction of Retractile Proof Structures

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_22 ◽

2014 ◽

pp. 319-333 ◽

Cited By ~ 1

Author(s):

Roberto Maieli

Download Full-text

Tree Automata with Height Constraints between Brothers

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_11 ◽

2014 ◽

pp. 149-163 ◽

Cited By ~ 1

Author(s):

Carles Creus ◽

Guillem Godoy

Keyword(s):

Tree Automata

Download Full-text

Unification and Logarithmic Space

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_6 ◽

2014 ◽

pp. 77-92 ◽

Cited By ~ 2

Author(s):

Clément Aubert ◽

Marc Bagnol

Keyword(s):

Logarithmic Space

Download Full-text

Unnesting of Copatterns

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_3 ◽

2014 ◽

pp. 31-45 ◽

Cited By ~ 7

Author(s):

Anton Setzer ◽

Andreas Abel ◽

Brigitte Pientka ◽

David Thibodeau

Download Full-text

Concurrent Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk)

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_2 ◽

2014 ◽

pp. 21-30

Author(s):

Manfred Schmidt-Schauß

Keyword(s):

Programming Languages ◽

Concurrent Programming ◽

Concurrent Programming Languages

Download Full-text

Local States in String Diagrams

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_23 ◽

2014 ◽

pp. 334-348 ◽

Cited By ~ 7

Author(s):

Paul-André Melliès

Download Full-text

Preciseness of Subtyping on Intersection and Union Types

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_14 ◽

2014 ◽

pp. 194-207 ◽

Cited By ~ 4

Author(s):

Mariangiola Dezani-Ciancaglini ◽

Silvia Ghilezan

Download Full-text

Lecture Notes in Computer Science - Rewriting and Typed Lambda CalculiLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Model of Countable Nondeterminism in Guarded Type Theory

Self Types for Dependently Typed Lambda Encodings

Near Semi-rings and Lambda Calculus

Construction of Retractile Proof Structures

Tree Automata with Height Constraints between Brothers

Unification and Logarithmic Space

Unnesting of Copatterns

Concurrent Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk)

Local States in String Diagrams

Preciseness of Subtyping on Intersection and Union Types

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