Skip to content
This repository has been archived by the owner on Nov 8, 2024. It is now read-only.
/ typed-lvar Public archive

semantics, typing rules and proofs of a call-by-value parallel calculus with LVars.

Notifications You must be signed in to change notification settings

cyberglot/typed-lvar

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

64 Commits
 
 
 
 
 
 
 
 

Repository files navigation

typed-lvar

About

semantics, typing rules and proofs of a call-by-value parallel calculus with LVars.

Resources

Stars

Watchers

Forks

Languages