Andrezej Filinski

From MaRDI portal
Person:5313716

Available identifiers

zbMath Open filinski.andrezejMaRDI QIDQ5313716

List of research outcomes





PublicationDate of PublicationType
Denotational aspects of untyped normalization by evaluation2005-09-01Paper

Research outcomes over time

This page was built for person: Andrezej Filinski