Research
Research
Research
My current researches are wavelets, type theory and hardware compilation, linear logic and hardware systems.
Wavelets
Wavelets
Types and Hardware
Types and Hardware
Linear Logic and Hardware
Linear Logic and Hardware
My current researches are wavelets, type theory and hardware compilation, linear logic and hardware systems.