Proving termination using dependent types: the case of XOR-terms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jean-François Monin, Judicaël Courant. Proving termination using dependent types: the case of XOR-terms. In Henrik Nilsson, editor, Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006. Volume 7 of Trends in Functional Programming, pages 1-18, Intellect, 2006.

This author has not been identified. Look up 'Jean-François Monin' in GoogleThis author has not been identified. Look up 'Judicaël Courant' in Google

runs on WebDSL