Re: How to make cyclic terms (Was: A miraculous match?)

Liste des GroupesRevenir à s logic 
Sujet : Re: How to make cyclic terms (Was: A miraculous match?)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : sci.logic
Date : 09. Jan 2025, 17:07:31
Autres entêtes
Message-ID : <vlos83$2dj8n$4@solani.org>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.20
Corr.: System T ~~> System F
Mild Shock schrieb:
Hi,
 I told you a dozen times that the scope of
this thread is simple types. Why don't you
open a separate thread for your fetish
 System T and/or Coq. I really don't care
about System T. You can play online with
System T here:
 https://crypto.stanford.edu/~blynn/lambda/systemf.html
 Bye

Date Sujet#  Auteur
8 Jan 25 * Honoring Raymond Smullyan35Mild Shock
8 Jan 25 +* Re: Honoring Raymond Smullyan27Julio Di Egidio
8 Jan 25 i`* Re: Honoring Raymond Smullyan26Mild Shock
8 Jan 25 i +* For a 100th Time Fuck Stackexchange (Was: Honoring Raymond Smullyan)2Mild Shock
8 Jan 25 i i`- Outdated Policy Nonsense by Stackexchange Farts (Re: For a 100th Time Fuck Stackexchange)1Mild Shock
8 Jan 25 i `* Re: Honoring Raymond Smullyan23Julio Di Egidio
8 Jan 25 i  `* Re: Honoring Raymond Smullyan22Julio Di Egidio
8 Jan 25 i   +- Re: Honoring Raymond Smullyan1Mild Shock
8 Jan 25 i   +* Re: Honoring Raymond Smullyan5Julio Di Egidio
8 Jan 25 i   i`* Re: Honoring Raymond Smullyan4Mild Shock
8 Jan 25 i   i +- Re: Honoring Raymond Smullyan1Mild Shock
9 Jan 25 i   i `* Re: Honoring Raymond Smullyan2Julio Di Egidio
9 Jan 25 i   i  `- Re: Honoring Raymond Smullyan1Mild Shock
9 Jan 25 i   `* A miraculous match? (Was: Honoring Raymond Smullyan)15Julio Di Egidio
9 Jan 25 i    `* Re: A miraculous match? (Was: Honoring Raymond Smullyan)14Julio Di Egidio
9 Jan 25 i     `* How to make cyclic terms (Was: A miraculous match?)13Mild Shock
9 Jan 25 i      +* Nakano Proposition 2 in SWI-Prolog (Was: How to make cyclic terms)3Mild Shock
9 Jan 25 i      i`* Re: Nakano Proposition 2 in SWI-Prolog (Was: How to make cyclic terms)2Mild Shock
9 Jan 25 i      i `- Re: Nakano Proposition 2 in SWI-Prolog (Was: How to make cyclic terms)1Mild Shock
9 Jan 25 i      `* Re: How to make cyclic terms (Was: A miraculous match?)9Julio Di Egidio
9 Jan 25 i       `* Re: How to make cyclic terms (Was: A miraculous match?)8Mild Shock
9 Jan 25 i        `* Re: How to make cyclic terms (Was: A miraculous match?)7Mild Shock
9 Jan 25 i         +* Re: How to make cyclic terms (Was: A miraculous match?)2Mild Shock
9 Jan 25 i         i`- Re: How to make cyclic terms (Was: A miraculous match?)1Mild Shock
9 Jan 25 i         `* Re: How to make cyclic terms (Was: A miraculous match?)4Julio Di Egidio
9 Jan 25 i          +- Re: How to make cyclic terms (Was: A miraculous match?)1Mild Shock
9 Jan 25 i          `* Re: How to make cyclic terms (Was: A miraculous match?)2Mild Shock
9 Jan 25 i           `- Re: How to make cyclic terms (Was: A miraculous match?)1Mild Shock
9 Jan 25 +* RETRO Project Sebastian Borgeaud et al. - 7 Feb 2022 (Was: Honoring Raymond Smullyan)5Mild Shock
10 Jan 25 i`* Prologers are hurt the most by LLMs (Was: RETRO Project Sebastian Borgeaud et al. - 7 Feb 2022 )4Mild Shock
10 Jan 25 i `* Vectors are the new JSON (Re: Prologers are hurt the most by LLMs)3Mild Shock
10 Jan 25 i  `* XAI is over and out (Was: Vectors are the new JSON)2Mild Shock
10 Jan 25 i   `- Academia is retarded (Was: XAI is over and out)1Mild Shock
9 Jan 25 `* Simple Types cannot ban Curry Paradox? (Was: Honoring Raymond Smullyan)2Mild Shock
9 Jan 25  `- Re: Simple Types cannot ban Curry Paradox? (Was: Honoring Raymond Smullyan)1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal