Jorge Luis Sacchini
From MaRDI portal
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!
| Publication | Date of Publication | Type |
|---|---|---|
| Towards meta-reasoning in the concurrent logical framework CLF (available as arXiv preprint) | 2021-06-09 | Paper |
| Towards meta-reasoning in the concurrent logical framework CLF | 2021-06-09 | Paper |
| Type-Based Productivity of Stream Definitions in the Calculus of Constructions 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
| Linear sized types in the calculus of constructions Functional and Logic Programming | 2014-07-24 | Paper |
| On strong normalization of the calculus of constructions with type-based termination Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
| A New Elimination Rule for the Calculus of Inductive Constructions Lecture Notes in Computer Science | 2009-07-02 | Paper |
Research outcomes over time
This page was built for person: Jorge Luis Sacchini
