TransWikia.com

Questions Tagged with "typed lambda calculus"

Explore solved questions tagged with "typed lambda calculus" or help others by answering their unsolved questions related to "typed lambda calculus".

An efficient Beta-Equivalence algorithm?

1 answer

Theoretical Computer Science Asked 3 years ago by user1636815

Is English Turing-complete?

3 answer

Computer Science Asked 3 years ago

If factor isn't found in P-1 algorithm, should upper bound be increased linearly (i.e. +1)

0 answer

Computer Science Asked 3 years ago by northerner

Can map-reduce speed up the count-min-sketch algorithm?

1 answer

Computer Science Asked 3 years ago by Pragya

Maximization problem on finite collection of finite sets

1 answer

Computer Science Asked 3 years ago by yuezato

Do there exist fast multiplication algorithms for two integers with one of them being static?

1 answer

Computer Science Asked 3 years ago by John Flemin

Convert the given NFA to DFA

2 answer

Computer Science Asked 3 years ago by Vinay Varahabhotla

What are the differences between Earliest Deadline First (EDF) and Earliest Due Date (EDD)?

1 answer

Computer Science Asked 3 years ago

If a grammar G is left and right regular, why $||L(G)|| leq ||P||$?

1 answer

Computer Science Asked 3 years ago

Scheduling jobs online on 3 identical machines - a lower bound of 5/3

0 answer

Computer Science Asked 3 years ago

Ask a Question

Get help from others!

Recent Answers

Recent Questions

Categories

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP