?. Miquey
AuthID: R-00J-V5G
1
TITLE: Realizability with stateful computations for nonstandard analysis
AUTHORS: Dinis, B; Miquey, É;
PUBLISHED: 2021, SOURCE: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 183
AUTHORS: Dinis, B; Miquey, É;
PUBLISHED: 2021, SOURCE: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 183
INDEXED IN: 
Scopus
Scopus