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