Author of the publication

A biset-enriched categorical model for Proto-Quipper with dynamic lifting.

, , , and . QPL, volume 394 of EPTCS, page 302-342. (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Application of Image Processing Techniques in Infrared Detection of Faulty Insulators., , , , , and . CCPR (2), volume 484 of Communications in Computer and Information Science, page 189-198. Springer, (2014)Mapping Urban Impervious Surface by Fusing Optical and SAR Data at the Decision Level., , , and . Remote Sensing, 8 (11): 945 (2016)EPLL image denoising with multi-feature dictionaries., , , , and . Digit. Signal Process., (2023)A Hierarchical Transformer with Speaker Modeling for Emotion Recognition in Conversation., , , , and . CoRR, (2020)Linear Dependent Type Theory for Quantum Programming Languages., , and . Log. Methods Comput. Sci., (2022)Combining ATC and 3D-CNN for reconstructing spatially and temporally continuous land surface temperature., , , , , and . Int. J. Appl. Earth Obs. Geoinformation, (2022)Spatiotemporal consistent selection-correction network for deep interactive image segmentation., , , , , and . Neural Comput. Appl., 35 (13): 9725-9738 (May 2023)A Semantic-Preserving Deep Hashing Model for Multi-Label Remote Sensing Image Retrieval., , , , , and . Remote. Sens., 13 (24): 4965 (2021)Active Semi-Supervised Random Forest for Hyperspectral Image Classification., , , , and . Remote. Sens., 11 (24): 2974 (2019)Compound Multiscale Weak Dense Network with Hybrid Attention for Hyperspectral Image Classification., , , , , and . Remote. Sens., 13 (16): 3305 (2021)