Certifying circuits in type theory
type: Item
instance of: scholarly article
title: Certifying circuits in type theory
zbMATH Open document ID: 1061.68105
author: Solange Coupet-Grimal
author: Line Jakubiec
published in: Formal Aspects of Computing
publication date: 2005-02-24T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 2138509
zbMATH Keywords: Formal methods
zbMATH Keywords: Hardware verification
zbMATH Keywords: Type theory
zbMATH Keywords: Dependent types
zbMATH Keywords: Co-induction
zbMATH Keywords: Extraction
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: s00165-004-0048-3
OpenAlex ID: W1996451615
DOI: 10.1007/S00165-004-0048-3
description: scientific article; zbMATH DE number 2138509