Song Fangmin

Available identifiers

zbMath Open song.fangminMaRDI QIDQ753809

List of research outcomes

Publication	Date of Publication	Type
Quantum programming languages: a tentative study	2008-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q5293569	2007-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4802110	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4802111	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q3152787	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4802075	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4802076	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4516891	2001-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4945923	2000-03-26	Paper
A syntactic proof of the conservativity of \(\lambda_\omega\) over \(\lambda_2\)	1999-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q4391924	1998-10-01	Paper
The expansion postponement in pure type systems	1998-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4320167	1995-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q4300439	1994-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3984061	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3984864	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3204444	1990-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: Song Fangmin