Filip Smola

E-Mails 📧

• ku.ca.de.sms @aloms.f

Entries

2024

Linear Resources and Process Compositions

by Filip Smola 📧 and Jacques D. Fleuriot 📧

Nov 25

Deep Embedding of Intuitionistic Linear Logic

by Filip Smola 📧 and Jacques D. Fleuriot 📧

Nov 25

2021

Hyperdual Numbers and Forward Differentiation

by Filip Smola and Jacques D. Fleuriot 🌐

Dec 31