Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Lambda calculus to interaction nets translator #14

Open
gsvgit opened this issue Sep 6, 2024 · 0 comments
Open

Lambda calculus to interaction nets translator #14

gsvgit opened this issue Sep 6, 2024 · 0 comments
Labels
i-nets Interaction nets related task software Software-related task
Milestone
Stage3

Comments

@gsvgit
Copy link
Member

gsvgit commented Sep 6, 2024

Possibly, enriched with constants and predefined operators
@gsvgit gsvgit added software Software-related task i-nets Interaction nets related task labels Sep 6, 2024
@gsvgit gsvgit added this to the Stage2 milestone Sep 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
i-nets Interaction nets related task software Software-related task
Projects
None yet
Milestone
Stage3
Development

No branches or pull requests
1 participant
@gsvgit