◍wovepaper
SearchResearchersInstitutions
Sign in
cs.LOOct 1, 2006
3
citations (OpenAlex)
authors
  • Frédéric Blanqui
arXiv abstractPDF
paper

Type theory and rewriting

arXiv:cs/0610068

Abstract

We study the properties, in particular termination, of dependent types systems for lambda calculus and rewriting.

English version of my PhD thesis

References in corpus (1)

  • Inductive-data-type Systems

Cited by in corpus (2)

  • A modular construction of type theories
  • Building Decision Procedures in the Calculus of Inductive Constructions
◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.