Stian Lybech | DeepAI

DeepAI

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

Featured Co-authors

Hans Hüttel
4 publications
Alex Rønning Bendixen
1 publication
Bjarke Bredow Bojesen
1 publication

research

∙ 09/06/2022

Encodability and Separation for a Reflective Higher-Order Calculus

The ρ-calculus (Reflective Higher-Order Calculus) of Meredith and Radest...

0 Stian Lybech, et al. ∙

research

∙ 09/06/2022

A Generic Type System for Higher-Order Ψ-calculi

The Higher-Order Ψ-calculus framework (HOΨ) is a generalisation of many ...

0 Alex Rønning Bendixen, et al. ∙