Marco Bellia

Available identifiers

zbMath Open bellia.marcoMaRDI QIDQ1284281

List of research outcomes

Publication	Date of Publication	Type
Programming Self-Assembly of DNA Tiles	2017-03-22	Paper
DNA Tiles, Wang Tiles and Combinators	2014-12-22	Paper
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types	2014-04-25	Paper
The Equivalence of Reduction and Translation Semantics of Java Simple Closures	2012-10-29	Paper
Properties of Java Simple Closures	2011-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q5192923	2009-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5506352	2009-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5472933	2006-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4461753	2004-05-18	Paper
Lazy linear combinatorial unification	1999-03-30	Paper
Suprema of open and closed formulas and their application to resolution	1995-05-28	Paper
C-expressions: A variable-free calculus for equational logic programming	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4027618	1993-02-21	Paper
Logic and functional programming by retractions	1988-01-01	Paper
Logic and functional programming by retractions : operational semantics	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3776598	1987-01-01	Paper
The relation between logic and functional languages: a survey	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3957929	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3968451	1982-01-01	Paper
Hierarchical development of programming languages	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4155819	1977-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marco Bellia