Roversi, Luca

1. Weak Affine Light Typing: Polytime intensional expressivity, soundness and completeness
   2007/12/27 by Luca Roversi, Roversi, Luca · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory