A Filter Model for the ::::λμ::::-Calculus - (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Steffen van Bakel, Franco Barbanera, Ugo de Liguoro. A Filter Model for the ::::λμ::::-Calculus - (Extended Abstract). In C.-H. Luke Ong, editor, Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings. Volume 6690 of Lecture Notes in Computer Science, pages 213-228, Springer, 2011. [doi]

This author has not been identified. Look up 'Steffen van Bakel' in GoogleThis author has not been identified. Look up 'Franco Barbanera' in GoogleThis author has not been identified. Look up 'Ugo de Liguoro' in Google

runs on WebDSL