Dominic J. D. Hughes | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Dusko Pavlovic
11 publications

research

∙ 04/20/2022

Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell

While any infimum in a poset can also be computed as a supremum, and vic...

0 Dusko Pavlovic, et al. ∙

research

∙ 02/09/2018

Unification nets: canonical proof net quantifiers

Proof nets for MLL (unit-free Multiplicative Linear Logic) are concise g...

0 Dominic J. D. Hughes, et al. ∙

Success!

An error occurred