An Operational Approach to Program Extraction in the Calculus of Constructions

DOI10.1007/3-540-45013-0_10zbMath1278.68071OpenAlexW1529016461MaRDI QIDQ3079924

Maribel Fernández, Paula G.Severi

Publication date: 4 March 2011

Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/20.500.12008/3482

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: An Operational Approach to Program Extraction in the Calculus of Constructions