%0 Journal Article %1 maiathoughts %A Maia, Victor %D 2020 %J Medium %K 03b15-higher-order-logic-type-theory 03f03-proof-theory-general 68n15-programming-languages 68n18-functional-programming-and-lambda-calculus %T Thoughts about Formality

@article{maiathoughts, added-at = {2020-08-14T01:10:51.000+0200}, author = {Maia, Victor}, biburl = {https://www.bibsonomy.org/bibtex/213755512b18cd313f119d11c32a89e91/gdmcbain}, description = {Victor Maia – Medium}, interhash = {65d2b5f575600055657b70967eaf7c03}, intrahash = {13755512b18cd313f119d11c32a89e91}, journal = {Medium}, keywords = {03b15-higher-order-logic-type-theory 03f03-proof-theory-general 68n15-programming-languages 68n18-functional-programming-and-lambda-calculus}, month = aug, timestamp = {2020-08-14T01:10:51.000+0200}, title = {Thoughts about Formality}, year = 2020 }