Matching for the lambda calculus of objects
From MaRDI portal
Publication:1275623
DOI10.1016/S0304-3975(98)00137-6zbMath0915.68102MaRDI QIDQ1275623
Viviana Bono, Michele Bugliesi
Publication date: 12 January 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Uses Software
Cites Work