Willem Heijltjes | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Ugo Dal Lago
34 publications
Giulio Guerrieri
20 publications
Chris Barrett
3 publications
Guy McCusker
1 publication

research

∙ 12/15/2022

The Functional Machine Calculus

This paper presents the Functional Machine Calculus (FMC) as a simple mo...

0 Willem Heijltjes, et al. ∙

research

∙ 11/23/2022

The Functional Machine Calculus II: Semantics

The Functional Machine Calculus (FMC), recently introduced by the author...

0 Chris Barrett, et al. ∙

research

∙ 02/19/2020

Decomposing Probabilistic Lambda-calculi

A notion of probabilistic lambda-calculus usually comes with a prescribe...

0 Ugo Dal Lago, et al. ∙