pathterminuspages/projects/aboutcontactabout me

Projects

Interleaving Models in Category TheoryIntroductionInterleaving ModelsThe adjoint pair of functors HL2ST and ST2HLThe adjoint pair of functors ST2TS and TS2STAlice Botta the PoetIntroSequencingCreating the modelUsing the modelExploding SearchIntroThe AlgorithmComplexity AnalysisOld WebIntroJanus to Bob CompilerIntroSyntaxType CheckingTranslationUsageVersionBob Reversible ISAIntroductionAbout ReversibilitySyntaxMachinerySemanticsUsageUntyped Lambda CalculusUntyped Lambda Calculus in JavaScriptParserSemanticsEvaluationTestingUsageBoxProverIntroSyntaxHTML usageLatex usageGrammar2SlrIntroSyntaxDefinitionsWorkingsProp2TablePrefaceParsing input (SLR parser)Parser F# codeWell-formed syntaxSemantics of propositional logicConstructing tablesThe applicationGrammar2SetPrefaceSyntax of InputNullableFirstFollowThe ApplicationNfa to Dfa ConverterPrefaceSyntax/InputConversionThe ApplicationVersion 1.1ComCalcPrefaceSyntaxGenerating parserThe application