Comparing reduction strategies in resource-conscious cambda calculi
By: John Maraist
Contributors: Universität Karlsruhe
Published: 1997
Language: eng
Number of pages: 210
Notes: Thesis (doctoral)--Universität Karlsruhe, 1997.