Pierre Vial

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
scientific article; zbMATH DE number 7559299 (Why is no real title available?)	2022-07-18	Paper
Consuming and persistent types for classical logic Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Every \(\lambda \)-term is meaningful for the infinitary relational model Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Infinitary intersection types as sequences. A new answer to Klop's problem	2021-01-19	Paper
Infinitary intersection types as sequences. A new answer to Klop's problem (available as arXiv preprint)	2021-01-19	Paper
scientific article; zbMATH DE number 7204443 (Why is no real title available?)	2020-05-26	Paper
scientific article; zbMATH DE number 7155170 (Why is no real title available?) (available as arXiv preprint)	2020-01-22	Paper
Wavelets on the interval and fast wavelet transforms Applied and Computational Harmonic Analysis	1994-08-28	Paper
scientific article; zbMATH DE number 224208 (Why is no real title available?)	1993-06-29	Paper

Research outcomes over time

This page was built for person: Pierre Vial