Lazy Theories of Operations and Types
Copyright policy )Lazy Theories of Operations and Types
Summary: Two foundational systems have been employed to provide the underlying foundations for constructive functional programming (CFP). Neither of these theories was designed with CFP as its major area of application. Our goal is to set the scene for the design of such a theory. This involve a detailed comparison of the two from the perspective of CFP. The paper contains a series of constructive theories of operations, types and termination, each member of which concentrates upon one particular issue in the design process.
- University of Essex United Kingdom
termination, Specification and verification (program logics, model checking, etc.), Inner models, including constructibility, ordinal definability, and core models, Theory of programming languages, Combinatory logic and lambda calculus, functional programming, constructive set theory, types, proofs and programs, Higher-order logic; type theory, operations
termination, Specification and verification (program logics, model checking, etc.), Inner models, including constructibility, ordinal definability, and core models, Theory of programming languages, Combinatory logic and lambda calculus, functional programming, constructive set theory, types, proofs and programs, Higher-order logic; type theory, operations
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).2 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!