MCLab Group List of PapersDisplays records where serial is equal to 622024-03-29T15:31:07+01:00MCLab Group List of Papersmari@di.uniroma1.ithttp://mclab.di.uniroma1.it/publications/Web Reference Database (http://refbase.sourceforge.net)http://mclab.di.uniroma1.it/publications/img/favicon.icohttp://mclab.di.uniroma1.it/publications/img/mclab-logo.pnghttp://mclab.di.uniroma1.it/publications/show.php?where=serial%20%3D%2062&showRows=10&exportType=xml&submit=Export&exportFormat=Atom%20XML111http://mclab.di.uniroma1.it/publications/show.php?record=62
Solving Equations in λ-calculus
2012-11-22T14:59:51+01:002012-11-22T14:59:18+01:00Federico Mari
Corrado Böhm, Adolfo Piperno, and Enrico Tronci. “Solving Equations in λ-calculus.” In Proc. of: Logic Colloquium 88. Padova - Italy, 1989.
Solving Equations in λ-calculusBöhm, C.Piperno, A.Tronci, E.openurl:?ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fmclab.di.uniroma1.it%2Fpublications%2F&genre=proceeding&title=Solving%20Equations%20in%20lambda-calculus&date=1989&aulast=B%C3%B6hm&aufirst=Corrado&au=Piperno%2C%20Adolfo&au=Tronci%2C%20Enrico&place=Padova%20-%20Italy&sid=refbase%3AMCLab%20%40%20Sapienzacitekey:BAPhm_etal1989Corrado Böhm, Adolfo Piperno, and Enrico Tronci. "Solving Equations in λ-calculus." In Proc. of: Logic Colloquium 88. Padova - Italy, 1989.1989ConferencePapertextProc. of: Logic Colloquium 881989