© 2022 Steven Obua

Abstraction Logic (UNILOG 2022)

by Steven Obua
Cite as: https://doi.org/10.47757/al.crete.1
April 10th, 2022
Abstract
This is a rerecording of my talk about Abstraction Logic at the UNILOG 2022 conference in Crete.

Video