F
ilip
S
mola
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