search result

Cover von Types for proofs and programs
international workshop : Torino, Italy, June 5 - 8, 1995 : selected papers
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1158
Media group: MONOGRAPHIE
Cover von Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness

Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness

Year: 2015
Media group: LIPIcs
Cover von Non-Commutative Infinitary Peano Arithmetic

Non-Commutative Infinitary Peano Arithmetic

Year: 2011
Media group: LIPIcs
Cover von Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic

Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic

Year: 2014
Media group: LIPIcs
Cover von Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1

Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1

Year: 2013
Media group: LIPIcs
Cover von Types for proofs and programs
international workshop, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3085
Media group: MONOGRAPHIE
Cover von Knowledge Spaces and the Completeness of Learning Strategies

Knowledge Spaces and the Completeness of Learning Strategies

Year: 2012
Media group: ARTICLE
Cover von A General Constructive Form of Higman’s Lemma

A General Constructive Form of Higman’s Lemma

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

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2021
Media group: LIPIcs
Cover von LIPIcs, Volume 188, TYPES 2020, Complete Volume

LIPIcs, Volume 188, TYPES 2020, Complete Volume

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0