Pierre Vial

From MaRDI portal
Person:1317203

Available identifiers

zbMath Open vial.pierreMaRDI QIDQ1317203

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50890362022-07-18Paper
Consuming and persistent types for classical logic2021-01-21Paper
Every \(\lambda \)-term is meaningful for the infinitary relational model2021-01-20Paper
Infinitary intersection types as sequences. A new answer to Klop's problem2021-01-19Paper
https://portal.mardi4nfdi.de/entity/Q51113202020-05-26Paper
https://portal.mardi4nfdi.de/entity/Q52088742020-01-22Paper
Wavelets on the interval and fast wavelet transforms1994-08-28Paper
https://portal.mardi4nfdi.de/entity/Q52865891993-06-29Paper

Research outcomes over time

This page was built for person: Pierre Vial

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