Telecharger Cours

LIPIcs, Vol. 52, FSCD'16 - Complete Volume - EMIS

Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus. Based on the ?-Rule. Ryota Akiyoshi and Kazushige Terui .



Download