|
@apoddubn | |||||
|
contractibility of 2-homotopy types as correctness criterion for proof nets
twitter.com/insurrealist/s… pic.twitter.com/3h1yb3ySww
|
||||||
|
||||||
|
@apoddubn | |||||
|
contractibility of 2-homotopy types as correctness criterion for proof nets
twitter.com/insurrealist/s… pic.twitter.com/3h1yb3ySww
|
||||||
|
||||||