Skip to content
/ typed-lambdaFactor Public

a typed version of lambda-calculus with factorisation that supports self-interpretation

0 stars 1 fork Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

Barry-Jay/typed-lambdaFactor

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
Beta_Reduction.glob
Beta_Reduction.glob
 
 
Beta_Reduction.v
Beta_Reduction.v
 
 
Beta_Reduction.vo
Beta_Reduction.vo
 
 
Components.glob
Components.glob
 
 
Components.v
Components.v
 
 
Components.vo
Components.vo
 
 
Compounds.glob
Compounds.glob
 
 
Compounds.v
Compounds.v
 
 
Compounds.vo
Compounds.vo
 
 
Equal.glob
Equal.glob
 
 
Equal.v
Equal.v
 
 
Equal.vo
Equal.vo
 
 
General.glob
General.glob
 
 
General.v
General.v
 
 
General.vo
General.vo
 
 
LamSF_Closed.glob
LamSF_Closed.glob
 
 
LamSF_Closed.v
LamSF_Closed.v
 
 
LamSF_Closed.vo
LamSF_Closed.vo
 
 
LamSF_Confluence.glob
LamSF_Confluence.glob
 
 
LamSF_Confluence.v
LamSF_Confluence.v
 
 
LamSF_Confluence.vo
LamSF_Confluence.vo
 
 
LamSF_Cube.glob
LamSF_Cube.glob
 
 
LamSF_Cube.v
LamSF_Cube.v
 
 
LamSF_Cube.vo
LamSF_Cube.vo
 
 
LamSF_Eval.glob
LamSF_Eval.glob
 
 
LamSF_Eval.v
LamSF_Eval.v
 
 
LamSF_Eval.vo
LamSF_Eval.vo
 
 
LamSF_Marks.glob
LamSF_Marks.glob
 
 
LamSF_Marks.v
LamSF_Marks.v
 
 
LamSF_Marks.vo
LamSF_Marks.vo
 
 
LamSF_Normal.glob
LamSF_Normal.glob
 
 
LamSF_Normal.v
LamSF_Normal.v
 
 
LamSF_Normal.vo
LamSF_Normal.vo
 
 
LamSF_Redexes.glob
LamSF_Redexes.glob
 
 
LamSF_Redexes.v
LamSF_Redexes.v
 
 
LamSF_Redexes.vo
LamSF_Redexes.vo
 
 
LamSF_Residuals.glob
LamSF_Residuals.glob
 
 
LamSF_Residuals.v
LamSF_Residuals.v
 
 
LamSF_Residuals.vo
LamSF_Residuals.vo
 
 
LamSF_Simulation.glob
LamSF_Simulation.glob
 
 
LamSF_Simulation.v
LamSF_Simulation.v
 
 
LamSF_Simulation.vo
LamSF_Simulation.vo
 
 
LamSF_Substitution.glob
LamSF_Substitution.glob
 
 
LamSF_Substitution.v
LamSF_Substitution.v
 
 
LamSF_Substitution.vo
LamSF_Substitution.vo
 
 
LamSF_Substitution_term.glob
LamSF_Substitution_term.glob
 
 
LamSF_Substitution_term.v
LamSF_Substitution_term.v
 
 
LamSF_Substitution_term.vo
LamSF_Substitution_term.vo
 
 
LamSF_Tactics.glob
LamSF_Tactics.glob
 
 
LamSF_Tactics.v
LamSF_Tactics.v
 
 
LamSF_Tactics.vo
LamSF_Tactics.vo
 
 
LamSF_Terms.glob
LamSF_Terms.glob
 
 
LamSF_Terms.v
LamSF_Terms.v
 
 
LamSF_Terms.vo
LamSF_Terms.vo
 
 
LamSF_reduction.glob
LamSF_reduction.glob
 
 
LamSF_reduction.v
LamSF_reduction.v
 
 
LamSF_reduction.vo
LamSF_reduction.vo
 
 
README.md
README.md
 
 
Slow_quote.glob
Slow_quote.glob
 
 
Slow_quote.v
Slow_quote.v
 
 
Slow_quote.vo
Slow_quote.vo
 
 
Test.glob
Test.glob
 
 
Test.v
Test.v
 
 
Test.vo
Test.vo
 
 
Unquote.glob
Unquote.glob
 
 
Unquote.v
Unquote.v
 
 
Unquote.vo
Unquote.vo
 
 
Unstar.glob
Unstar.glob
 
 
Unstar.v
Unstar.v
 
 
Unstar.vo
Unstar.vo
 
 
operator_types.glob
operator_types.glob
 
 
operator_types.v
operator_types.v
 
 
operator_types.vo
operator_types.vo
 
 
script
script
 
 
subject_reduction.glob
subject_reduction.glob
 
 
subject_reduction.v
subject_reduction.v
 
 
subject_reduction.vo
subject_reduction.vo
 
 
type_derivation.glob
type_derivation.glob
 
 
type_derivation.v
type_derivation.v
 
 
type_derivation.vo
type_derivation.vo
 
 
type_derivation_resi.glob
type_derivation_resi.glob
 
 
type_derivation_resi.v
type_derivation_resi.v
 
 
type_derivation_resi.vo
type_derivation_resi.vo
 
 
type_derivation_rwf.glob
type_derivation_rwf.glob
 
 
type_derivation_rwf.v
type_derivation_rwf.v
 
 
type_derivation_rwf.vo
type_derivation_rwf.vo
 
 
typed_lambdaFactor.pdf
typed_lambdaFactor.pdf
 
 

Repository files navigation

typed-lambdaFactor

a typed version of lambda-calculus with factorisation that supports self-interpretation

About

a typed version of lambda-calculus with factorisation that supports self-interpretation

Resources

Readme
Activity

Stars

0 stars

Watchers

2 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published

Languages