EasyChair Smart SlideDocs/Log in
Author: Robert Atkey

This page shows all presentations of this author published in EasyChair Smart Slide.

Vehicle: a High-Level Language for Embedding Logical Specifications in Neural Networks

Vehicle: a High-Level Language for Embedding Logical Specifications in Neural Networks

Matthew Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi and Ekaterina Komendantskaya

The Syntax and Semantics of Quantitative Type Theory

The Syntax and Semantics of Quantitative Type Theory

Robert Atkey

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair