From Reversible Programs to Univalent Universes and Back.

Jacques Carette Chao-Hong Chen Vikraman Choudhury Amr Sabry

Published in: MFPS (2018)

Keyphrases

markov chain
cellular automata
provably correct
object oriented
real time
e learning
web services
multi agent
search algorithm
expert systems
programming language
answer sets
computer programs
free software