church-thesis

There are 0 repository under church-thesis topic.

• ShrohanMohapatra / ExplorePLT

  A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda calculus etc.

  formal-verificationdafnyformal-specificationloop-invariantsweakest-preconditionslambda-calculuslambda-expressionschurch-thesisturing-completenessearley-algorithmearley-parsercyk-algorithm
  Language:Python 4

• MiguelERuiz / Computabilidad

  Tareas de Computabilidad: fundamentos y aplicaciones

  church-thesiseducationlearningturing-machine
  Language:TeX 0