VoidCC
Liste de balises
typed-lambda-calculus
0
La chaleur
1
Répondre
arbres pour preuve lambda-calcul simplement typé
je dois indiquer le type du terme ((λx : int. (x ≤ 1)) 2) et prouver à l'aide d'un arbre de preuve. Je suis assez certain que cela prend 2 comme une entrée pour x, puis en comparant 2 à 1 et en renv
lambda-calculus
typed-lambda-calculus
2016-11-02
Dernière question
1.
"URL non définie dans le manifeste" lors de l'exécution d'Instant App utilisant @string pour le nom d'hôte
2.
Récupère les nœuds en fonction de diverses règles de date
3.
Les créateurs d'automne mettent à jour le programme d'installation de l'application UWP ne fonctionnent pas
4.
Impossible d'exécuter dynamiquement la requête SQL
5.
Comment ajouter des arguments dans les commandes bash personnalisées?
6.
PostgreSQL: INSERT INTO erreur de syntaxe
7.
Comment utiliser les plugins cordova sur Ionic 3?
8.
Rien ne s'affiche lorsque vous utilisez BCMeshTransformView
9.
immuable vs struct et le type vs struct mutable dans Julia
10.
fonction récursive OCaml ne fonctionne pas