search result

Cover von Theory and applications of explicit substitutions; 1
special issue : S. 1 - 206
Search for this author
Year: 2001
Publisher: Cambridge, Cambridge University Press
Count: 1
Media group: SPECIAL ISSUE
Cover von Useful Call-by-Value

Useful Call-by-Value

A Semantic Interpretation via Quantitative Types
Year: 2026
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2023
Media group: LIPIcs
Cover von LIPIcs, Volume 269, TYPES 2022, Complete Volume

LIPIcs, Volume 269, TYPES 2022, Complete Volume

Year: 2023
Media group: LIPIcs
Cover von 28th International Conference on Types for Proofs and Programs
TYPES 2022 : June 20 - 25, 2022, LS2N, University of Nantes, France
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 269
Media group: LIPIcs
Cover von Solvability for Generalized Applications

Solvability for Generalized Applications

Year: 2022
Media group: LIPIcs
Cover von Encoding Tight Typing in a Unified Framework

Encoding Tight Typing in a Unified Framework

Year: 2022
Media group: LIPIcs
Cover von A Quantitative Understanding of Pattern Matching

A Quantitative Understanding of Pattern Matching

Year: 2020
Media group: LIPIcs
Cover von Types as  Resources for Classical Natural Deduction

Types as Resources for Classical Natural Deduction

Year: 2017
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers, Organising Commitee

Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers, Organising Commitee

Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0