Recursive Functions on Lazy Lists via Domains and Topologies

DOI10.1007/978-3-319-08970-6_22zbMATH Open1416.68169OpenAlexW2224398717MaRDI QIDQ2879262FDOQ2879262

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

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

Mathematics Subject Classification ID

Cited In (4)

• Title not available (Why is that?)
• 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

Uses Software

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

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)