Advanced Search  

"A Predicative Strong Normalisation Proof for a Calculus with Interleaving Inductive Types"  
Summary: "A Predicative Strong Normalisation Proof for a 

Source: Abel, Andreas  Theoretische Informatik, LudwigMaximiliansUniversitÃ¤t MÃ¼nchen 

Collections: Computer Technologies and Information Sciences 