Types for Proofs and Programs

Overview

Editors:

• Thorsten Altenkirch⁰,
• Bernhard Reus¹,
• Wolfgang Naraschewski²

1. Thorsten Altenkirch

   1. Ludwig-Maximilians-Universität, Institut für Informatik, München, Germany
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

2. Bernhard Reus

   1. Ludwig-Maximilians-Universität, Institut für Informatik, München, Germany
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar

3. Wolfgang Naraschewski

   1. Technische Universität München, Institut für Informatik, München, Germany
      

   View editor publications

   You can also search for this editor in PubMed   Google Scholar