Stian Lybech | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙