Name: 57 Supports certain 2nd Order Features💎#shorts #TauNet
Uploaded: 2023-03-16T00:20:48+00:00
Duration: 14 s
Description: Supports certain second-order features Tau Language has the ability to quantify over functions between sequences and trees, under what we call “time compatibility” semantics. #TauLanguage #SecondOrder

2 years ago

Supports certain second-order features

Tau Language has the ability to quantify over functions between sequences and trees, under what we call “time compatibility” semantics.

#TauLanguage #SecondOrderLogic #TimeCompatibility #FunctionQuantification #Sequences #Trees #Semantics #ProgrammingLanguages #FormalMethods #LogicProgramming

Tau Official Website: https://tau.net/
Tau Official Telegram: https://t.me/tauchain
Tau Official Discord: https://discord.gg/fuTA5ymZ
Tau Official Development Updates: https://github.com/IDNI/TML
TML Playground: https://tml.tau.net/

My Official Blog: https://andrewonizuka5.wixsite.com/learn-tau
Twitter: https://twitter.com/AndrewOnizuka
Facebook: https://www.facebook.com/profile.php?id=100073737020446
Instagram: https://www.instagram.com/andrewonizuka/
Reddit: https://www.reddit.com/user/Andrew_Onizuka

Loading comments...