Universes for Generic Programs and Proofs in Dependent Type Theory
Journal article, 2003

Author

Marcin Benke

Chalmers, Department of Computing Science, Programming Logic

Other publications Research

Peter Dybjer

Chalmers, Department of Computing Science, Programming Logic

Other publications Research

Patrik Jansson

Chalmers, Department of Computing Science, Functional Programming

Chalmers, Department of Computing Science, Programming Logic

Other publications Research

Nordic Journal of Computing

1236-6064 (ISSN)

Vol. 10 4 265-289

Subject Categories

Computer Science

More information

Created

10/8/2017

Feedback and support

If you have questions, need help, find a bug or just want to give us feedback you may use this form, or contact us per e-mail research.lib@chalmers.se or by phone 46 (0)31-772 3744.

About

Research.chalmers.se contains research information from Chalmers University of Technology, Sweden. It includes information on projects, publications, research funders and collaborations.

More about coverage period and what is publicly available

Privacy and cookies

Links

Chalmers Library
Chalmers Research
Research projects at chalmers.se

Chalmers University of Technology

SE-412 96 GOTHENBURG, SWEDEN
PHONE: +46 (0)31-772 10 00
WWW.CHALMERS.SE