Another approach to sequentiality: Kleene's unimonotone functions

DOI10.1007/3-540-58027-1_17OpenAlexW1547036180MaRDI QIDQ5890056

Antonio Bucciarelli

Publication date: 28 April 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58027-1_17

zbMATH Keywords

sequential algorithmfinite typeintensional behaviouropen envelopepreliminary question

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A stable programming language ⋮ A game-semantic model of computation

Cites Work

• Unnamed Item
• Unnamed Item
• Sequential algorithms on concrete data structures
• LCF considered as a programming language

This page was built for publication: Another approach to sequentiality: Kleene's unimonotone functions