Andrezej Filinski

From MaRDI portal
Person:5313716



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Denotational aspects of untyped normalization by evaluation
RAIRO - Theoretical Informatics and Applications
2005-09-01Paper
Denotational aspects of untyped normalization by evaluation
RAIRO - Theoretical Informatics and Applications
2005-09-01Paper
Denotational aspects of untyped normalization by evaluation
RAIRO - Theoretical Informatics and Applications
2005-09-01Paper


Research outcomes over time


This page was built for person: Andrezej Filinski