Naive Fracterm Calculus

Jan A. Bergstra, John V. Tucker. Naive Fracterm Calculus. J. UCS, 29(9):961-987, September 2023. [doi]

Authors

Jan A. Bergstra

This author has not been identified. It may be one of the following persons: Look up 'Jan A. Bergstra' in Google

John V. Tucker

This author has not been identified. Look up 'John V. Tucker' in Google