Certifying circuits in Type Theory.

Solange Coupet-Grimal Line Jakubiec

Published in: Formal Aspects Comput. (2004)

Keyphrases

theoretical framework
theoretical basis
high speed
theoretical foundation
quantum computing
databases
image processing
data structure
expert systems
computational model
delay insensitive