Programs, Algorithms, Computations, and Beyond

Princeton University Press eBooks 2026 Book chapter

View at publisher

Authors: Romain Brette

DOI: 10.1515/9780691281391-018

Cited by: 0

Fields of Study & Subjects

Computability Logic AI Algorithms programming and type systems Teaching and Learning Programming