Recursive Functions on Lazy Lists via Domains and Topologies

DOI10.1007/978-3-319-08970-6_22MaRDI QIDQ2879262zbMATH OpenOpenAlexFDO

Authors Johannes Hölzl, Andreas Lochbihler

Publication date 8 September 2014

Published in Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-08970-6_22

Mathematics Subject Classification ID

Recommendations

• Recursive functionals
• Recursive functions and existentially closed structures
• scientific article; zbMATH DE number 4043834
• Recursively defined domains and their induction principles
• scientific article; zbMATH DE number 3938531
• Recursion theorems and effective domains
• On recursively enumerable structures
• scientific article; zbMATH DE number 3885307
• Typed Lambda Calculi and Applications

Cited in

(4)

• scientific article; zbMATH DE number 1424015 (Why is no real title available?)
• A Purely Definitional Universal Domain
• On the key dependent message security of the Fujisaki-Okamoto constructions
• Friends with benefits. Implementing corecursion in foundational proof assistants

Describes a project that uses

Uses Software

• Topology
• Coinductive
• HOLCF
• PVS
• Isabelle/HOL

This page was built for publication: Recursive Functions on Lazy Lists via Domains and Topologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879262)