Toot

Written by Jacques Carette on 2024-12-22 at 17:18

I wonder if the following question about NbE has been answered already:

Given a language L with a reduction relation R, what properties of (L, R) would

=> More informations about this toot | View the thread | More toots from JacquesC2@types.pl

Mentions

=> View wilbowma@types.pl profile

Tags

Proxy Information

Original URL: gemini://mastogem.picasoft.net/toot/113697615512194646
Status Code: Success (20)
Meta: text/gemini
Capsule Response Time: 294.715627 milliseconds
Gemini-to-HTML Time: 0.304509 milliseconds

This content has been proxied by September (3851b).