Jacek Chrząszcz

From MaRDI portal
Person:276261

Available identifiers

zbMath Open chrzaszcz.jacekMaRDI QIDQ276261

List of research outcomes





PublicationDate of PublicationType
The role of polymorphism in the characterisation of complexity by soft types2016-05-03Paper
ML with PTIME complexity guarantees2012-11-22Paper
The Role of Polymorphism in the Characterisation of Complexity by Soft Types2011-08-17Paper
Inductive Consequences in the Calculus of Constructions2010-09-14Paper
Consistency and Completeness of Rewriting in the Calculus of Constructions2009-03-12Paper
Towards Rewriting in Coq2009-03-06Paper
Consistency and Completeness of Rewriting in the Calculus of Constructions2008-11-13Paper
From OBJ to ML to Coq2007-09-07Paper
Types for Proofs and Programs2005-12-23Paper
https://portal.mardi4nfdi.de/entity/Q42181101998-11-11Paper

Research outcomes over time

This page was built for person: Jacek Chrząszcz

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:276261&oldid=6996425"
Powered by MediaWiki