search result

Cover von The Call-By-Value Lambda-Calculus with Generalized Applications

The Call-By-Value Lambda-Calculus with Generalized Applications

Year: 2020
Media group: LIPIcs
Cover von Curry-Howard for Sequent Calculus at Last!

Curry-Howard for Sequent Calculus at Last!

Year: 2015
Media group: LIPIcs
Cover von The Logical Essence of Compiling with Continuations

The Logical Essence of Compiling with Continuations

Year: 2023
Media group: LIPIcs
Cover von Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic

Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic

Year: 2021
Media group: LIPIcs
Cover von LIPIcs, Volume 130, TYPES'18, Complete Volume

LIPIcs, Volume 130, TYPES'18, Complete Volume

Year: 2019
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2019
Media group: LIPIcs
Cover von 24th International Conference on Types for Proofs and Programs
TYPES 2018 : June 18 - 21, 2018, Braga, Portugal
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 130
Media group: LIPIcs
Cover von Modal Embeddings and Calling Paradigms

Modal Embeddings and Calling Paradigms

Year: 2019
Media group: LIPIcs
Cover von Permutability in Proof Terms for Intuitionistic Sequent Calculus with Cuts

Permutability in Proof Terms for Intuitionistic Sequent Calculus with Cuts

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0