https://arxiv.org/abs/0903.5154
[0903.5154] Generalised Proof-Nets for Compact Categories with Biproducts
Abstract page for arXiv paper 0903.5154: Generalised Proof-Nets for Compact Categories with Biproducts
proof nets09035154generalisedcompact
https://childproofnets.com/
Child Proof Nets - Child Safety Netting System
Sep 10, 2025 - Accident prevention child safety netting system. Can also be used to protect your pets. Protect stairs, balconies and windows.
child proofsafety nettingnetssystem
https://aclanthology.org/A00-2010/
Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets - ACL Anthology
Sylvain Pogodalla. 1st Meeting of the North American Chapter of the Association for Computational Linguistics. 2000.
https://www.siasat.com/after-spring-loaded-fans-kota-hostels-use-nets-to-make-balconies-lobbies-suicide-proof-2678630/
'Suicide proof': After fans with springs, Kota hostels use nets
Aug 27, 2023 - After spring-loaded fans in rooms, "anti-suicide nets" are now being installed in balconies and lobbies of hostels in coaching hub Kota.
suicideprooffansspringskota