Dominic J. D. Hughes | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

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. ∙