Vikraman Choudhury | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Amr Sabry
2 publications
Jacques Carette
2 publications
Marcelo Fiore
1 publication
Chao-Hong Chen
1 publication

research

∙ 10/11/2021

Free Commutative Monoids in Homotopy Type Theory

We develop a constructive theory of finite multisets, defining them as f...

0 Vikraman Choudhury, et al. ∙

research

∙ 02/17/2020

Fractional Types: Expressive and Safe Space Management for Ancilla Bits

In reversible computing, the management of space is subject to two broad...

0 Chao-Hong Chen, et al. ∙

Success!

An error occurred