Expressing Ecumenical Systems in the λΠ-Calculus Modulo Theory.

Émilie Grienenberger

Published in: TYPES (2022)

Keyphrases

real time
management system
expert systems
topics covered include
computational model
formal theory
machine learning
information systems
case study
image sequences
distributed systems
formal languages