Alex Berka | Lambda the Ultimate

Alex Berka

view
track

type	title	author	last post
Forum topic	What is a type? Alternative to Turing Machine by Alex Berka re: “a limited axiom of choice” by Alex Berka Uncomputable real numbers and non-determinism. by Alex Berka	cpurdy	2023-01-25 22:53
Forum topic	John Shutt, creator of Kernel and an LtU regular, dies at 56 Loss by Alex Berka	jdougan	2021-10-14 09:16
Forum topic	Cognition and Coding Curious parallel with art appreciation. by Alex Berka Dependency by Alex Berka Re: Module names are expressions & strategy by Alex Berka Verticality by Alex Berka Problems with Process Algebras and their offshoots. by Alex Berka Re: Why SPR is orthogonal to parallelism and concurrency by Alex Berka Re: SPR vs. Syntactic Entanglement by Alex Berka Why SPR is bad for parallelism and concurrency by Alex Berka Simplifying mental maps. by Alex Berka Linguistic schizophrenia and conventional tree syntax. by Alex Berka ...	Alex Berka	2021-04-24 06:46
Forum topic	Deterministic Concurrency Strategy statement on Synchronic Computation by Alex Berka Youtube & slides links. by Alex Berka Better search term. by Alex Berka	Alex Berka	2020-12-01 15:10
Forum topic	The Last Language? Black Swans by Alex Berka Arboreal is a syntactic feature only by Alex Berka Advancing the notion of language. by Alex Berka	Dominic Fox	2011-07-20 14:51
Forum topic	Synchronic Computation II Linking proofs with programs. by Alex Berka Synchronism and Wave Based Communication by Alex Berka Locality and Asynchronism. by Alex Berka Synchronic A-ram machine cycles by Alex Berka	Alex Berka	2011-04-18 13:01
Forum topic	Synchronic Computaion Graphs, parallelism, and physics. by Alex Berka	Alex Berka	2010-08-11 16:12