tag:blogger.com,1999:blog-4249190426304084757.post6121560320417258314..comments2024-01-22T00:34:59.225-08:00Comments on Logic ForAll: Surely you're joking, Mr Martin-Löf?...Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-4249190426304084757.post-24852296654544368282018-05-07T13:04:37.304-07:002018-05-07T13:04:37.304-07:00I had a comment on email, that I thought I'd l...I had a comment on email, that I thought I'd like to repeat here. It came from Nissim Francez (http://www.cs.technion.ac.il/~francez/) He says my post reminded him of an old joke: A customer enters a coffee house and asks for the price of a cup of coffee and that<br />of a cup of tea. He is told that their price is the same. He asks for a cup of coffee. When the waiter brings the order, the customer says he changed his mind, and<br />wants a cup of tea instead of the cup of coffee he ordered. The waiter brings the new order.<br />After a while, the customer starts leaving.<br />“What about the payment?”, asks the waiter.<br />“Payment for what?” asks the customer.<br />"For the tea”, says the waiter.<br />“But I gave you a cup of coffee for it, which costs the same”.<br />“So, what about paying for the coffee?”<br />“But I never drank it…”<br />ah, the infinite sagacity of old jokes<br />Valeriahttps://www.blogger.com/profile/01336528462208811726noreply@blogger.comtag:blogger.com,1999:blog-4249190426304084757.post-41381695741901709082018-05-04T16:01:53.869-07:002018-05-04T16:01:53.869-07:00Thanks Bruno! With the date I managed to find http...Thanks Bruno! With the date I managed to find http://www.tecmf.inf.puc-rio.br/ProofTheory2012 but FashionMall semantics did not make the written record, right?Valeriahttps://www.blogger.com/profile/01336528462208811726noreply@blogger.comtag:blogger.com,1999:blog-4249190426304084757.post-75640916624393571242018-05-04T14:42:23.084-07:002018-05-04T14:42:23.084-07:00FashionMall semantics was discussed in Proof Theor...FashionMall semantics was discussed in Proof Theory 2012, in Paraty, a workshop that discussed many works related with Girard's work on linear logic (he was there).Anonymoushttps://www.blogger.com/profile/08676294675144917949noreply@blogger.com