Razborov, Alexander A.; Rudich, Steven (1997), “Natural proofs”, Journal of Computer and System Sciences 55 (1): 24–35, doi:10.1006/jcss.1997.1494, ISSN 0022-0000

カリー＝ハワード同型対応

Wirsing; Martin (2005) [2005], Adapting Proofs-as-Programs: The Curry–Howard Protocol, Monographs in Computer Science, Springer, ISBN 978-0-387-23759-6 , concerns

アクターモデル

Mendelsohn, Henrik Nielsen, Satish Thatte, Dave Winer. Simple Object Access Protocol (SOAP) 1.1 W3C Note. May 2000. M. Astley, D. Sturman, and G. Agha. Customizable

カプセル化細胞

1080/02652040010018047. PMID 11428678. ^ Winiarczyk, S (September 2002). “A clinical protocol for treatment of canine mammary tumors using encapsulated, cytochrome P450

鯨ひげ

utilisation of the great whales over the past two millennia: A systematic review protocol”. PLoS ONE 18 (12): e0295604. doi:10.1371/journal.pone.0295604. PMID 38096207

Found in articles

ゲーデル賞