Henk Barendregt | DeepAI

DeepAI

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

Featured Co-authors

Bas Westerbaan
6 publications
Bram Westerbaan
1 publication
Rutger Kuyper
1 publication
Carst Tankink
1 publication
Remy Viehoff
1 publication
Antonino Raffone
1 publication

research

∙ 01/23/2022

Axiomatizing consciousness, with applications

Consciousness will be introduced axiomatically, inspired by Buddhist ins...

0 Henk Barendregt, et al. ∙

research

∙ 11/15/2017

Statman's Hierarchy Theorem

In the Simply Typed λ-calculus Statman investigates the reducibility rel...

0 Bram Westerbaan, et al. ∙