pathterminuspages/projects/aboutcontactabout me

Projects

Interleaving Models in Category TheoryIntroductionAdjoint Between Transition Systems and Hoare LanguagesAdjoint Between Transition Systems and Synchronization TreesAlice 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/InputConvertionThe ApplicationVersion 1.1ComCalcPrefaceSyntaxGenerating parserThe application