Report - StrictIdealCompletionsoftheLambdaCalculus · StrictIdealCompletionsoftheLambdaCalculus Patrick Bahr ITUniversityofCopenhagen,Denmark [email protected] Abstract

Please pass captcha verification before submit form