List Question
10 TechQA 2015-06-26 15:07:37Reducing Complex DCGs Prolog
							215 views
							
								Asked by fenimi
								
							
						
					Why is this an invalid eta conversion?
							282 views
							
								Asked by Eli Sadoff
								
							
						
					Why are the set of variables in lambda calculus typically defined as countable infinite?
							385 views
							
								Asked by chaosape
								
							
						
					Lambda calculus entire expression substitution
							141 views
							
								Asked by yonutix
								
							
						
					Turing Machines and Lambda Calculus equivalence
							1.6k views
							
								Asked by Greg Peckory
								
							
						
					Haskell for Lambda Calculus, Type Inferencing
							3k views
							
								Asked by IssamLaradji
								
							
						
					Define the binary exponential operator CARAT in Lambda Calculus
							1k views
							
								Asked by rips
								
							
						
					Find the lambda-terme without free variables of the following types?
							112 views
							
								Asked by Srđan Miljević
								
							
						
					Looking for a Church-encoding (lambda calculus) to define < , > , !=
							6.5k views
							
								Asked by Blnpwr
								
							
						
					Haskell, lambda calculus for Evaluation
							1.7k views
							
								Asked by IssamLaradji