Research


My current researches are wavelets, type theory and hardware compilation, linear logic and hardware systems.

Wavelets


 
  

Types and Hardware

   

Linear Logic and Hardware