Jorge Luis Sacchini

From MaRDI portal
Person:3638244

Available identifiers

zbMath Open sacchini.jorge-luisMaRDI QIDQ3638244

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49924962021-06-09Paper
Type-Based Productivity of Stream Definitions in the Calculus of Constructions2017-07-03Paper
Linear Sized Types in the Calculus of Constructions2014-07-24Paper
On strong normalization of the calculus of constructions with type-based termination2010-10-12Paper
A New Elimination Rule for the Calculus of Inductive Constructions2009-07-02Paper

Research outcomes over time

This page was built for person: Jorge Luis Sacchini

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